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