Definition:Null Polynomial over Ring