波克林頓定理

設 其中 是一個數的因子分解部分

(1)

其中 , 且 。

波克林頓定理，也稱為波克林頓-萊默檢驗，指出如果存在一個 對於 , ..., 使得

(2)

和

(3)

則 是 素數。