>533
ワイルズによるフェルマーの最終定理の証明がありますから(~A)は真です。
(B)も真ですから(~A)と(B)は同値です。

確認です。
(3)はx,yが有理数なので、x,y,zは整数比とならない。…(B)
(3)はx,yが無理数のとき、x,y,zが整数比とならない…(~A)
の「(~A)と(B)は同値」ですね。
(B)は、根拠があるが、(~A)は根拠がないということですね。