what is the transitive property of congruence