Lemma Hilbertianum
Lemma Hilbertianum saeculo undevicensimo exeunte a mathematico Davide Hilbert propositum est. Quod lemma proprietatem curvaturarum principalium superficierum describit. Ex probatione lemmatis Liebmanniani oritur.

Pronuntiatum lemmatis
Multiplice trium dimensionum dato quod est levis et differentialis per pannum punctum p continentem, ubi k et m definiantur principales curvaturae et K(x) sit curvatura Gaussiana ad punctum x, si k habeat maximum apud p, m habeat minimum apud p, et k stricto maius quam m apud p, tum K(p) est numerus realis non positivus.

Lemmata