theorem Th24: :: NUMPOLY1:24

for n being triangular number holds not n,2 are_congruent_mod 10