The Euler theorem states that if , then
Let be the reduced residue classes modulo . Multiplication by permutes them, so
Their product is a unit and may be cancelled, proving the theorem.