Congruence Modulo Integer/Examples