孿生素數定理

古老的埃拉特斯特尼篩法可以給出一個構造一切孿生素數的普遍公式。公式來源利用素數的判定法則，可以得到以下的結論：「若自然數與都不能被任何不大於的素數 整除，則與都是素數，稱為孿生素數」。