>>492
> >488
> (3)の解のx,y,zを、全て整数比の無理数とおきます。
> (4)の解のx,y,zは、(3)の解のx,y,zの定数倍です。
> (4)のx,y,zは全て有理数となり得ます。
>
> この場合、式 s^n+t^n=u^n…(C) は成立します。
>
> ただ、(3)のx,y,zを、全て整数比の無理数とおいたとき、
> 式が、成立するかは、不明です。

式(C) が成立するかは不明。
だから、
式(C) が成り立たない、とは言えない。
です。
(あなたが証明を完成させるには、
『式(C) が成り立たない!』と言い切らなくてはなりません)