本步骤利用假设和公式 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)，推出所述结论。