Ring of Integers of Number Field is Dedekind Domain

Theorem
Let $K$ be a number field.

Let $\OO_K$ be its ring of integers.

Then $\OO_K$ is a Dedekind domain.