Theorem 7.10. Assuming that:

$(K, | ∙ |)$ is a non-archimedean local field of mixed characteristic

Then

K

is a finite extension of

ℚ_{p}