Transitive Property of Congruence
If MN = LK and LK = OP, then