Definition:Monic Polynomial