Proof. [04F5]
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.
Let be the intrinsic diameter of . By connectedness, we can find with . Now the intrinsic balls are disjoint, but each takes up a nontrivial amount of volume . Thus
so there is an a priori bound on , hence on . ∎