theorem Th80: :: NUMPOLY1:80

( 1 is triangular & 1 is square )