>331
(3)で「ある解y=twが無理数」で解が整数比となるならば、(4)は「y=tが有理数」で整数比となる解を持つ。
これではフェルマーの最終定理には反例があることになってしまう，「だから」
「ｙが無理数」でx,y,zが整数比となることはない，
即ち，(3)で「ある解y=twが無理数」であるとき解が整数比となることはない，
ことが証明が必要な命題となるんですよ。

もう少し、詳しく説明していただけないでしょうか？