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