孪生素数定理（孪生素数猜想已经被证明出来了）

古老的埃拉特斯特尼筛法可以给出一个构造一切孪生素数的普遍公式。公式来源利用素数的判定法则，可以得到以下的结论：「若自然数与都不能被任何不大于的素数 整除，则与都是素数，称为孪生素数」。