Is f(x)=9 a polynomial?