>742
>> これから1=x^2-xy+y^2とz^2=x+yは導けません。
> x=1,y=2,z=3が反例です。

>1≠1^2-1*2+2^2=3,9=3^2≠1+2=3であることは認めますか？

はい。認めます。