Assertion: right triangle's area | /r/HasProperty | integer
Facets:
Source sentences:
text: By Pick's theorem a lattice triangle has a rational area that either is an integer or has a denominator of 2.