初等数学によるフェルマーの最終定理の証明

日高さんは
「AB=CDならば、Ａ=Cのとき、B=Dとなる」って書いてるけど、
「『AB=CDならば、Ａ=Cのとき』、B=Dとなる」ですか、それとも
「AB=CDならば、『Ａ=Cのとき、B=Dとなる』」ですか？