theorem Th5: :: POLYNOM4:5

for L being non empty ZeroStr
for p being Polynomial of L st len p = 0 holds
p = 0_. L