theorem Th77: :: NUMPOLY1:77

for n being Nat st n is triangular holds
(9 * n) + 1 is triangular