>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)を満たす」ことになるのでしょうか?