質問です。
ｘ≠ｙかつｘ＾2-ｙｚ＝ｙ＾2-ｚｘ＝2のとき、ｚ＾2-ｘｙ＝2であることを証明せよ。