Es sei eine hyperbolische Fläche von endlichem Flächeninhalt, das heißt eine 2-dimensionale Mannigfaltigkeit mit einer riemannschen Metrik von konstanter negativer Krümmung und endlichem Flächeninhalt.
Anschaulich besagt er, dass in einer Mannigfaltigkeit mit nach oben beschränkter Krümmung Dreiecke nicht dicker sind als im Vergleichsraum konstanter Krümmung.