Let where is the factored part of a number
(1)

where , and .
Pocklington's theorem, also known as the PocklingtonLehmer test, then says that if there exists a for , ..., such that
(2)

and
(3)

then is prime.
Let where is the factored part of a number
(1)

where , and .
Pocklington's theorem, also known as the PocklingtonLehmer test, then says that if there exists a for , ..., such that
(2)

and
(3)

then is prime.
Weisstein, Eric W. "Pocklington's Theorem." From MathWorldA Wolfram Web Resource. https://mathworld.wolfram.com/PocklingtonsTheorem.html