Satz von Euler
We can thus view Carmichael's theorem as a sharpening of Euler's theorem.