theorem Th15: :: NUMPOLY1:15

Triangle 5 = 15