Theorem 7.4 . [01Z1]
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
Theorem 7.4.
For every there exists such that if satisfies and and satisfies
then for every
| (7.16) |