Congruence relation Follow