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 $\struct {U_\C, \times}$ is by definition a cyclic group of order $4$.