theorem Th34: :: POLYNOM5:34

for L being non empty ZeroStr holds <%(0. L)%> = 0_. L