Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
for any , where denotes the standard
metric on
with constant curvature 1, and denotes a
metric -ball in .
Since where is
the standard metric on with constant curvature 1, we
obtain , and
If , by letting , we
obtain
which is a contradiction. Thus
. By letting , we obtain