for i, j being Integer
for m being Nat st i is_quadratic_residue_mod m & i,j are_congruent_mod m holds
j is_quadratic_residue_mod m