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