theorem Th76: :: NUMPOLY1:76

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