theorem Th23: :: NUMPOLY1:23

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