:: deftheorem defquadr defines quadratic FIELD_9:def 4 :
for R being Ring
for p being Polynomial of R holds
( p is quadratic iff deg p = 2 );