:: deftheorem defpur defines purely_quadratic FIELD_9:def 6 :
for R being non degenerated Ring
for p being Polynomial of R holds
( p is purely_quadratic iff ex a being non zero Element of R ex c being Element of R st p = <%c,(0. R),a%> );