Definition:Nonzero Polynomial