eliminate((x^2 + y^2) - 4=0, y - x=0, y)