Lemma 5.58 . [02V0]

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 5.58.

Let $0\leq i\leq k$ . Then, for every $j\in\Theta_{i}$ ,

{\operatorname{val}}_{K}(\xi_{i})={\operatorname{val}}_{K}(\xi_{i,j})=a-i,

where $a$ is the integer of Lemma 5.56.