Definition:Degree of Null Polynomial over Field as Sequence