The solution is x = y.