>709
以下の形式で書いてもらって良いですか？

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

711を見て下さい。