Isomorphism between Gaussian Integer Units and Integers Modulo 4 under Addition/Proof 1

Proof
From Gaussian Integer Units are 4th Roots of Unity:
 * $U_\C$ is the set consisting of the (complex) $4$th roots of $1$.

The result follows from Isomorphism between Roots of Unity under Multiplication and Integers under Modulo Addition.