该引理证明所有 NsN_sNs 都是素数。与假设中 k=0,…,rk=0,\ldots,rk=0,…,r 的素数值合在一起,恰好覆盖 k=r+1,…,n−2k=r+1,\ldots,n-2k=r+1,…,n−2,证明完成。