resultant((x^2 + y^2) - 4, y - x, x)