波克林頓判別法

設 為奇素數， 為整數，使得 且 ，並且

則以下等價

1. 是素數。

2. 存在一個 使得 ,

其中 GCD 是最大公約數（即， 和 是互素的）。這是由 Lehmer 修改後的原始定理版本。