theorem Th13: :: NUMPOLY1:13

Triangle 3 = 6