Units of Gaussian Integers form Group/Proof 3

Proof
From Units of Gaussian Integers, $U_\C$ is the set of units of the ring of Gaussian integers.

From Group of Units is Group, $\left({U_\C, \times}\right)$ forms a group.

It remains to note that:

thus demonstrating that $U_\C$ is cyclic.