Assertion: gaussian curvature | /r/HasProperty | infinite
Facets:
Source sentences:
text: If the Gaussian curvature is infinite, then at least one of the principal curvatures has to be infinite as well.