Fermat's little theorem
The result above implies that for every in . The particular case where is prime is Fermat's little theorem.