Proposition 8.26 . [02YM]
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
Proposition 8.26.
In the above setting, one has :
|
|
|
|
|
|
|
|
|
|
|
|
where
.
In particular, the height of is a positive rational number.