for L being non empty ZeroStr
for p being Polynomial of L st len (even_part p) <> 0 holds
len (even_part p) is odd