AB=CDならば、A=Cのとき、B=Dとなる。

これは、当たり前の話です。