对每个 iii(下标模 201720172017)令 mi=ni−29m_i=n_i-29mi=ni−29。由于 a−b+c−d+e=29a-b+c-d+e=29a−b+c−d+e=29 可改写为 (a−29)−(b−29)+(c−29)−(d−29)+(e−29)=0(a-29)-(b-29)+(c-29)-(d-29)+(e-29)=0(a−29)−(b−29)+(c−29)−(d−29)+(e−29)=0,任意连续 555 个 mim_imi 都可重新标记为 a,b,c,d,ea,b,c,d,ea,b,c,d,e 使 a−b+c−d+e=0a-b+c-d+e=0a−b+c−d+e=0。只需证明所有 mi=0m_i=0mi=0。