将灯 n+in+in+i 的每次切换折叠到灯 iii 上,会给灯 iii 增加偶数次切换,保持其总次数为奇数,同时消除 BBB 中的所有切换。
定义 f:N→Mf: \mathcal{N} \to \mathcal{M}f:N→M:将每个 n+i∈Bn+i \in Bn+i∈B 的项替换为 i∈Ai \in Ai∈A。因为在任意 (a1,…,ak)∈N(a_1,\ldots,a_k) \in \mathcal{N}(a1,…,ak)∈N 中 n+in+in+i 出现偶数次而 iii 出现奇数次,所以像 f(a1,…,ak)f(a_1,\ldots,a_k)f(a1,…,ak) 中每个 i∈Ai \in Ai∈A 出现奇数加偶数 = 奇数次,且不含 BBB 中的项,故 f(N)⊆Mf(\mathcal{N}) \subseteq \mathcal{M}f(N)⊆M。