Euler's Phi Function
Now we put Euler's phi function to work, generalizing Fermat's Little Theorem.
Theorem 7.5 (Euler): If   and
  and 
  , then
 , then   .
 .
Proof (first form, requires the following lemma):
Lemma: Let n > 1 and   . If
 . If   ,
 ,
  ,...,
 ,...,  are the positive integers less than n and relatively
prime to n, then
  are the positive integers less than n and relatively
prime to n, then   ,
 ,   ,...,
 ,...,  are congruent modulo n
to
  are congruent modulo n
to   ,
 ,   ,...,
 ,...,  in some order.
  in some order.
Corollary: Fermat's Little theorem!
Proof (second form, which doesn't require the lemma, but which relies on Fermat's theorem):
Lemma: If p|a, p prime, then
  
 
for   .
 .
Proof (by induction, using the Binomial theorem and Fermat):
Proof of the theorem: