この手順では仮定と式 ∑ai=sk2−1∑bi=sk2=(sk)k\sum a_i=s^{k^2-1}\sum b_i=s^{k^2}=(s^k)^k∑ai=sk2−1∑bi=sk2=(sk)k、kkk、200920092009 を用いて、示された結論を導く。