Liebermans lemma är det viktigaste verktyget för att studera den inneboende metriken för en konvex yta .
Låt det finnas en konvex kropp i det euklidiska rummet, och . Antag att det finns en kortast kurva på ytan . Betrakta en kon med vertex vid p över , det vill säga mängden av alla punkter av typ , . Låt det vara en isometrisk inbäddning bildar sedan en konvex kurva i planet.