# Ring of Integers of Number Field is Dedekind Domain

Let $K$ be a number field.
Let $\mathcal O_K$ be its ring of integers.
Then $\mathcal O_K$ is a Dedekind domain.