若 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 上至多有两个解，故至多两个素数 q<pq<pq<p 能使 pqpqpq 良好。