この手順では仮定と式 x=k2−1x=k^2-1x=k2−1、x≡−1(modk)x\equiv-1\pmod kx≡−1(modk)、x≡0(modk+1)x\equiv0\pmod{k+1}x≡0(modk+1) を用いて、示された結論を導く。