theorem :: FIELD_9:17

for L being non empty ZeroStr
for a, b, c being Element of L holds deg <%c,b,a%> <= 2