Units of Gaussian Integers

Theorem
Let $\left({\Z \left[{i}\right], +, \times}\right)$ be the ring of Gaussian integers.

The set of units of $\left({\Z \left[{i}\right], +, \times}\right)$ is $\left\{{1, i, -1, -i}\right\}$.