theorem :: NUMBER19:37

for L being non empty ZeroStr
for p being Polynomial of L st len p = 1 holds
p = <%(p . 0)%>