Lemma 2.6. Assuming that:

$v$ is a valuation on $K$

Then the following are equivalent:

(i) $v$ is discrete
(ii) $O_{K}$ is a PID
(iii) $O_{K}$ is Noetherian
(iv) $m$ is principal