>「『AB=CDならば、A=C』のとき、B=Dとなる」ですか、それとも
> 「AB=CDならば、『A=Cのとき、B=Dとなる』」ですか?

違いを教えて下さい。