>882
(3)にx=s,y=tの解が存在しないがx=sw、y=twの解が存在する可能性があります。

x=s,y=t,z=uの解が存在するならば、x=sw,y=tw,z=uwの解が存在します。