Assertion: right triangle's length | /r/HasProperty | integral
Facets:
Source sentences:
text: If the lengths of the legs and hypotenuse are integral, then they form a Pythagorean triple.