[y^2=5-x^2,-25=-4*x^2-4*x*y-y^2]