Transitive Property of Congruence