Units of Gaussian Integers

Theorem
Let $\struct {\Z \sqbrk i, +, \times}$ be the ring of Gaussian integers.

The set of units of $\struct {\Z \sqbrk i, +, \times}$ is $\set {1, i, -1, -i}$.