theorem Th33: :: POLYNOM5:33

for L being non empty ZeroStr
for z0 being Element of L st z0 <> 0. L holds
len <%z0%> = 1