theorem qua5: :: FIELD_9:21

for R being non degenerated Ring
for p being Polynomial of R holds
( p is quadratic iff ex a being non zero Element of R ex b, c being Element of R st p = <%c,b,a%> )