## Quick Reference

The name sometimes given to the following result:

Theorem

Let *p* be a prime, and let *a* be an integer not divisible by *p*. Then *a*^{p−1} ≡ 1 (mod *p*).

Sometimes the name is given instead to the following, which is a corollary of the preceding result:

Theorem

If *p* is a prime and *a* is any integer, then *a*^{p} ≡ *a* (mod *p*).

*Subjects:*
Mathematics.