theorem Th48: :: HURWITZ:49

for f being Polynomial of F_Complex st f is Hurwitz holds
for x being Element of F_Complex st Re x >= 0 holds
0 < |.(eval (f,x)).|