>>797
与式=x^2-(y^2+6y+9)