Let be an Irregular Prime, and let be a Prime with . Also let be an Integer such
that
(mod ). For an Irregular Pair , form the product

where

If (mod ) for all such Irregular Pairs, then Fermat's Last Theorem holds for exponent .

**References**

Johnson, W. ``Irregular Primes and Cyclotomic Invariants.'' *Math. Comput.* **29**, 113-120, 1975.

© 1996-9

1999-05-26