Order of Group of Units of Integers Modulo m

Theorem
Let $n \in \Z_{\ge 0}$ be an integer.

Let $\left({\Z / n \Z, +, \cdot}\right)$ be the ring of integers modulo $n$.

Let $U = \left({ \left({ \Z / n \Z }\right)^\times, \cdot}\right)$ denote the group of units of this ring.

Then:
 * $\left|{ U }\right| = \phi \left({n}\right)$

where $\phi$ denotes the Euler $\phi$-function.

Proof
By Multiplicative Group of Integers Modulo m, $U$ is equal to the set of integers modulo $n$ which are coprime to $n$.

By the definition of $\phi$, this means that:
 * $\left|{ U }\right| = \phi \left({n}\right)$