theorem Th22: :: NUMPOLY1:22

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