Fermat's little theorem
and therefore, by Fermat's little theorem