| 释义 |
Pocklington's CriterionLet be an Odd Prime, be an Integer such that and , and
Then the following are equivalent- 1.
is Prime. - 2.
. This is a modified version of the original theorem due to Lehmer. 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.
|