solve x^2 + y^2 = 8 and y = 4 - x