Units of Gaussian Integers form Group/Proof 1

Theorem
Let $U_\C$ be the set of units of the Gaussian integers:
 * $U_\C = \left\{{1, i, -1, -i}\right\}$

where $i$ is the imaginary unit: $i = \sqrt {-1}$.

Let $\left({U_\C, \times}\right)$ be the algebraic structure formed by $U_\C$ under the operation of complex multiplication.

Then $\left({U_\C, \times}\right)$ forms a cyclic group under complex multiplication.

Proof
By definition of the imaginary unit $i$::

thus demonstrating that $U_\C$ is generated by $i$.

Thus $\left({U_\C, \times}\right)$ is by definition a cyclic group of order $4$.