一旦循环上每一对相邻的数都被迫同色,整个循环就会坍缩成单一颜色——就像一排多米诺骨牌依次倒下,最后全都朝着同一个方向躺下。
第 3–4 步表明,对每个 i=1,…,n−2i=1,\dots,n-2i=1,…,n−2 都有 color(ri)=color(ri+1)\text{color}(r_i)=\text{color}(r_{i+1})color(ri)=color(ri+1)。把这 n−2n-2n−2 个等式串联起来,得知 r1,…,rn−1r_1,\dots,r_{n-1}r1,…,rn−1 全部同色。由第 1 步,这些恰好是 MMM 的每个元素各出现一次,因此 MMM 中所有数都同色。