Theorem 6.5.
Assuming that:
(
K
,
|
∙
|
)
is a complete
non-archimedean
valued field
V
a finite dimensional vector space over
K
Then
any two
norms
on
K
are equivalent. In particular,
V
is complete with respect to any
norm
(using Proposition
6.4
).