Proof of Theorem 6.3 . [055C]
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
Proof of Theorem 6.3.
It suffices to verify each condition for in Lemma 6.1. Proposition 6.8 and Proposition 6.4 show that satisfies Item (1) and Item (2a). In our context, and are uniform constants. can be chosen as any fixed constant in . To verify Item (2b) in Lemma 6.1, we just need to use (6.21). In fact, we have assumed , then
| (6.135) |
as is sufficiently large. This completes the proof.
∎