The theorem is a scalar curvature comparison theorem, with asymptotic boundary conditions, and a corresponding statement of geometric rigidity.
Teoréma je porovnávacia teoréma skalárnej zakrivenosti s asymptotickými hraničnými podmienkami a zodpovedajúcim vyhlásením o geometrickej nepružnosti.