Units of Gaussian Integers form Group/Proof 1

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$.