ein Satz der globalen Riemannschen Geometrie, der eine Beziehung zwischen einer Krümmungseigenschaft und topologischen Eigenschaften der n-dimensionalen vollständigen Riemannschen Mannigfaltigkeit M herstellt:

Gilt für die Schnittkrümmung K_σ von M die Ungleichung δ ≤ K_σ ≤ 1, wobei δ > 1/4 eine Konstante ist, so ist M zur n-dimensionalen Sphäre Sⁿ homöomorph.

Sⁿ wird hier als topologischer Raum definiert, der aus allen Punkten des ℝⁿ⁺¹ besteht, die von einem festen Punkt P ∈ ℝⁿ⁺¹ festen Abstand r = 1 haben.