Assertion: gauss's proof | /r/CapableOf | use hilbert's lemma
Facets:
Source sentences:
text: A standard proof uses Hilbert's lemma that non-umbilical points of extreme principal curvature have non-positive Gaussian curvature.
text: A standard proof uses Hilbert's lemma that non-umbilical points of extreme principal curvature have non-positive Gaussian curvature.