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