AB=CD が成立している場合、
常に A=C と同時に B=D が共に成立する。
という意味です。