>752
> s^n+t^n=u^n…(C) は成立しない。」は、
> 「(3) に整数比の無理数解があれば、 (3) に有理数解がある」が成り立つとする。
> とは、関係ありません。
と言ったので、
「(3) に整数比の無理数解があれば、 (3) に有理数解がある」
は証明の理由にならないのでは？　と聞いています。

n≧3のとき、 s^n+t^n=u^n…(C) は成立しない。」は
「(3) に整数比の無理数解があれば、 (3) に有理数解がある」
ことに、なります。