二項展開によるフェルマーの最終定理の証明

>766
>s,tが有理数、(p^{1/(p-1)})/wが有理数では、式は成り立ちません。

それは証明主題でしょう。
証明主題を論証のなかに持ち込むんですか？

(4)と同じとなります。