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

「(3) に整数比の無理数解があれば、は、仮定の話です。（実際には、ありません。）
「n≧3のとき、 s^n+t^n=u^n…(C) は成立する」ことがいえます。