A theorem that states that if p is a prime number and a is any integer, then a^p≡a (mod p) where "≡" denotes congruence.