因数分解によるフェルマーの最終定理の証明

>655
>>653(修正38)の
> (3)が有理数解を持たないので、(4)も有理数解を持たない。
から言えるという事でしょうか。

はい。そうです。