从所有灯都熄灭开始,一盏灯最终亮起当且仅当它被切换了奇数次,最终熄灭当且仅当它被切换了偶数次。
将一个 kkk 步序列写成 (a1,…,ak)∈(A∪B)k(a_1,\ldots,a_k) \in (A \cup B)^k(a1,…,ak)∈(A∪B)k,其中 A={1,…,n}A=\{1,\ldots,n\}A={1,…,n} 且 B={n+1,…,2n}B=\{n+1,\ldots,2n\}B={n+1,…,2n}。集合 N\mathcal{N}N(大小为 NNN)由每个 i∈Ai \in Ai∈A 出现奇数次、每个 n+i∈Bn+i \in Bn+i∈B 出现偶数次的序列组成;子集 M\mathcal{M}M(大小为 MMM)由每个 i∈Ai \in Ai∈A 出现奇数次且 BBB 中没有元素出现的序列组成(因为 k≥nk \ge nk≥n 且 k−nk - nk−n 为偶数,所以 M>0M > 0M>0)。