Modular arithmetic: congruence modulo n