(sw)^n+(tw)^n=(uw)^nと、s^n+t^n=u^nは同値。(s,t,uは有理数、wは無理数)

(3)のx,yが無理数で、x,y,zが整数比となるならば、x,yが有理数で、x,y,zが整数比となる。
(3)は、x,yが有理数で、x,y,zが整数比とならないので、x,yが無理数で、x,y,zが整数比となることはない。