>162
「(x,y,z)=(sw,tw,uw)が方程式(3)を満たす」ことと
「方程式(3)を満たす(x,y,z)=(s,t,u)は存在しない」ことは矛盾しません。


「方程式(3)を満たす(x,y,z)=(s,t,u)が存在しない」ならば、
「(x,y,z)=(sw,tw,uw)は方程式(3)を満たさない。」ことは、
等式の同値変形より、明らかです。