Fermat's little theorem
As is coprime to , Fermat's little theorem says that