This theorem states that if p is a prime number and a is an integer, then a^(p-1) is congruent to 1 modulo p.