For example, a number field $K$ is a finite extension of $\mathbb{Q}$ and its ring of integers is denoted by $\mathcal{O}_K$ . Although such rings can fail to be unique factorization domains, the above theorem shows that they are always Dedekind domains and therefore unique factorization of ideals is satisfied.