非 1 奇数 n 附近素数分布的下限定理：
设 n 为非 1 奇数，k1、k2 为符合下列条件的正整数(1、2分别是k的下标）：
1≤ k1＜k2 ≤ n + 4
则：在 k1 n 与 k2 n 之间必存在至少 k2 – k1 个素数。
该定理能证明勒让德猜想：
即对于正整数 n， 在 n 的平方与（n+1）的平方之间必存在至少两个素数。