波克林顿判别法

设 为奇素数， 为整数，使得 且 ，并且

则以下等价

1. 是素数。

2. 存在一个 使得 ,

其中 GCD 是最大公约数（即， 和 是互素的）。这是由 Lehmer 修改后的原始定理版本。