Proof. [00W2]
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.
As above we embed isometrically into and we get that the length of the mean curvature vector of the composite isometric embedding is then uniformly bounded independent of . We can then apply Theorem 1.1 of [Tp] and get the required diameter bound.