各 iii に対して mi=ni−29m_i=n_i-29mi=ni−29 とする（添字は 201720172017 を法とする）。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 を示せば十分である。