Definition: a and b are congruent modulo n