theorem Th25: :: NUMPOLY1:25

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