THEOREM: The "Heronian" triangles can also be characterized as the triangles with integer sides and rational area (they then automatically have integer area). SORRY my proof was bogus, but the theorem still appears correct (says computer).