Let be an Odd Prime, be an Integer such that and
, and

Then the following are equivalent

- 1. is Prime.
- 2. .

**References**

Pocklington, H. C. ``The Determination of the Prime or Composite Nature of Large Numbers by Fermat's Theorem.''
*Proc. Cambridge Phil. Soc.* **18**, 29-30, 1914/16.

© 1996-9

1999-05-25