Is f(x) = 9 a polynomial?