theorem Th79: :: NUMPOLY1:79

( 0 is triangular & 0 is square )