We already know that \(x=y\) does not follow from \(x^2=y^2\).
But is it true that if \(x^2 \neq y^2\) then \(x \neq y\)?