groebner basis({(x^2 - y^2) - 16, (y^2 - x^2) - 16}, {x, y})