Euler's theorem
where the second-last congruence follows from Euler's theorem.