>128
従って(3)によるのならば，整数比の無理数解の不存在について実質的な証明が必要になります。

(3)のx,yが無理数で、整数比となるときは、s^n+t^n=(s+1)^nとなります。
(4)によって、s^n+t^n=(s+1)^nは、成立しないことを、証明しています、