ppp が奇素数で、素数 q<pq<pq<p と 0≤x<p0\le x<p0≤x<p について pq=x2+x+kpq=x^2+x+kpq=x2+x+k が良いならば、xxx は T2+T+k≡0(modp)T^2+T+k\equiv0\pmod pT2+T+k≡0(modp) の解である。この二次合同式は体 Z/pZ\mathbb{Z}/p\mathbb{Z}Z/pZ 上で高々二つの解しか持たないので、pqpqpq を良くする素数 q<pq<pq<p は高々二つである。