>782
「(3) に整数比の無理数解があれば、 (3) に有理数解がある」が成り立てば、
「n≧3 のとき、 s^n+t^n=u^n…(C) は成立しない。」が言えるという事でしょうか？

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

「(3) に整数比の無理数解があれば、 (3) に有理数解がある」が成り立ちます。