Assertion: triangle's height | /r/HasProperty | found using following theorems
Facets:
Source sentences:
text: The height of a right triangle can be found using the following theorems: