Let where is the factored part of a number
|
(1)
|
where , and .
Pocklington's theorem, also known as the Pocklington-Lehmer test, then says that if there exists a for , ..., such that
|
(2)
|
and
|
(3)
|
then is prime.
Pocklington's Theorem
See also
Pocklington's CriterionExplore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W. "Pocklington's Theorem." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/PocklingtonsTheorem.html