Problem #PRU-100286

Is “if $x = y$ then $x^{2} = y^{2}$ ” the same thing as “if $x^{2} \neq y^{2}$ then $x \neq y$ ”?

To see the solution register and get verified.