Unique Factorization Theorem for Gaussian Integers

Theorem
For every Gaussian integer $n$ such that $\left\vert{n}\right\vert > 1$, $n$ can be expressed as the product of one or more Gaussian primes, uniquely up to the order in which they appear.