Assertion: right triangle's area | /r/HasProperty | multiplied by length
Facets:
Source sentences:
text: If the curvature is −K everywhere rather than −1, the areas above should be multiplied by 1/K and the lengths and distances should be multiplied by 1/√K.[citation needed]