Lemma 2.13 . [00HH]
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
Lemma 2.13.
Let be a finite-dimensional ultrametrically normed vector space over . If is a finite set of elements of such that are disctinct in . Then .