Misalkan \(U(n)\) grup unit dalam \({\mathbb Z}_n\text{.}\) Maka \(|U(n)| = \phi(n)\text{.}\)