Substitution property of congruence