A theorem that states that if p is a prime number and a is any integer, then a^p-1 is congruent to 1 mod p.