求证:无论x,y为何值,多项式x^2+y^2-2x+6y+16的值恒为负数