Let x, y be the integers such that (x^2 + y^2 - 2)(x + y)^2 + (xy + 1)^2 = 0 prove that √(1 + xy) is a rational number