theorem Th20: :: BASEL_2:20

for L being non empty ZeroStr
for p being Polynomial of L st len (even_part p) is odd holds
2 * (len (sieve (p,2))) = (len (even_part p)) + 1