theorem Th29: :: HURWITZ2:29

for p being real Polynomial of F_Complex
for x being Element of F_Complex st Re x = 0 holds
Re (eval ((odd_part p),x)) = 0