Corollary 2.14 . [00HJ]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Corollary 2.14.
Let be a finite-dimensional ultrametrically normed vector space over . Suppose that is discretely valued. If is a basis of such that are -independent in , then is an orthogonal basis.