Lemma 5.5. Assuming that:

$(K, | ∙ |)$ complete discretely valued field
$k = O_{K} ∕ m \subseteq \bar{𝔽_{p}}$
$a \in k^{\times}$

Then

[a]

is a root of unity.