Properties Of Modulo Congruence