for R being Ring
for p being Polynomial of R st deg p < 2 holds
for a being Element of R ex y, z being Element of R st p = <%y,z%>