Lemma 8.9 . [01ZM]
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 8.9.
For each , there exists with the following property. If , , and for some and , we have