theorem Th17: :: NUMPOLY1:17

Triangle 7 = 28