Assertion: triangle's area | /r/HasProperty | divided by integer base
Facets:
Source sentences:
text: then a decomposition into right triangles with rational sides always exists, because every altitude of a Heronian triangle is rational (since it equals twice the integer area divided by the integer base).