对 s=1,…,n−r−2s=1,\ldots,n-r-2s=1,…,n−r−2 定义 Ns=n+(r+s)(r+s+1)N_s=n+(r+s)(r+s+1)Ns=n+(r+s)(r+s+1)。我们用归纳法证明这些数为素数；将 n=3r2+hn=3r^2+hn=3r2+h 展开可得 (2r+2s+1)2>Ns(2r+2s+1)^2>N_s(2r+2s+1)2>Ns。