Liebermans lemma er det vigtigste værktøj til at studere den iboende metrik for en konveks overflade .
Lad der være en konveks krop i det euklidiske rum, og . Antag , at der er en korteste kurve på overfladen . Overvej en kegle med toppunkt ved p over , det vil sige sættet af alle punkter af typen , . Lad der være en isometrisk indlejring og form derefter en konveks kurve i planet.