普羅斯定理

對於 ，其中 是 奇數 且 ，如果存在一個 整數 使得

則 是 素數。這種形式的素數被稱為 普羅斯素數。