theorem qua5a: :: FIELD_9:22

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