theorem Th12: :: NUMPOLY1:12

Triangle 2 = 3