for L being non empty ZeroStr
for p being constant Polynomial of L holds
( p = 0_. L or p = <%(p . 0)%> )