Definition:Nonconstant Polynomial