Assertion: triangle's side length | /r/HasProperty | equal
Facets:
value: to a + b
type: OTHER
Source sentences:
text: Then continue sides of the right-angled triangle ABC so, to receive the square CDEF, the side length of which is equal to a + b .