Lemma 6.8. Assuming that:

$(K, | ∙ |)$ is non-archimedean valued field

Then

O_{K}

is integrally closed in

K