If p is prime and p does not divide a, then a^(p−1) ≡ 1 (mod p). Equivalently, a^p ≡ a (mod p) for all a.. The key formula is a^(p−1) ≡ 1 (mod p) when p∤a. This concept is typically introduced in College. Understanding this concept builds a strong foundation for more advanced mathematics.