Fermat's little theorem
Proof using Fermat's little theorem.