>136
> { 1=x^2-xy+y^2　……満たさない
> { z^3=x+y　　　　　……不明
>
> は、(3)を満たしません。

これはどうしてでしょうか？
不明なのに(3)を満たさない事が分かるのですか？

{ 1=x^2-xy+y^2　……満たさない
からです。