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.

Haec stipula ad mathematicam spectat. Amplifica, si potes!