p∣x2+1p\mid x^2+1p∣x2+1 より p∣4(x2+1)p\mid 4(x^2+1)p∣4(x2+1) でもある。x=p+12+tx=\frac{p+1}2+tx=2p+1+t を代入すると 4x2+4=(p+1+2t)2+44x^2+4=(p+1+2t)^2+44x2+4=(p+1+2t)2+4 となり、p+1+2t≡1+2t(modp)p+1+2t\equiv1+2t\pmod pp+1+2t≡1+2t(modp) であるから 4(x2+1)≡(2t+1)2+4(modp)4(x^2+1)\equiv(2t+1)^2+4\pmod p4(x2+1)≡(2t+1)2+4(modp) を得る。この合同式により ttt の下からの評価が可能になる。