以知x(x-1)-(x^2-y)=-3,