Units of Gaussian Integers form Group/Proof 2

Proof
From Gaussian Integer Units are 4th Roots of Unity:
 * $\left\{{1, i, -1, -i}\right\}$ constitutes the set of the $4$th roots of unity.

The result follows from Roots of Unity under Multiplication form Cyclic Group.