Unique Factorization Theorem for Gaussian Integers

Theorem
Let $n$ be a Gaussian integer such that $\cmod n > 1$.

Then $n$ can be expressed as the product of one or more Gaussian primes, uniquely up to the order in which they appear.