Assertion: triangle's side | /r/CapableOf | join at right angle
Facets:
Source sentences:
text: He proved that, for a right triangle, the sum of the squares of the two sides that join at a right angle equals the square of the third side.