今の場合反例モデルが作れるからそれで説明するけど
x'=y'→x=yがなくてその逆だと
Z/nZでも条件満たしちゃうでしょ。

Z/nZが何なのか分からないなら先に初等整数論を勉強してね。