theorem Th16: :: NUMPOLY1:16

Triangle 6 = 21