Proof. [04EN]
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.
The isoperimetric theorem [71, Thm 6.1] guarantees the existence of an integral current supported in such that and for which
Notice the metric uniform equivalence means we do not need to be careful to distinguish the Hausdorff measure for the Euclidean metric and the Calabi-Yau metric. Let denote the cone over the current , then , and thus by the quantitative calibrated condition,
which is the isoperimetric inequality. ∎