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.
