Let $K$ be a finite extension of $\mathbb{Q}$, and $\mathcal{O}$ the ring of integers of $K$. Write an essay outlining the proof that every non-zero ideal of $\mathcal{O}$ can be written as a product of non-zero prime ideals, and that this factorisation is unique up to the order of the factors.