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.
Put . Then for , there are at most
scales for which
|
|
|
(8.16) |
Hence, there are at most elements such that
|
|
|
(8.17) |
for some . Therefore, for all other , we must have
|
|
|
(8.18) |
which proves the corollary.
∎