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

日高氏の中では「AならばB」と「AでないならばBでない」は同値なので、

> X^3=(Y+1)^3-Y^3…(2)が整数解を持つならば、(1)も整数解を持つ。

と書いてあったら

X^3=(Y+1)^3-Y^3…(2)が整数解を持たないならば、(1)も整数解を持たない。

も同時に意味するものと思われ。