theorem Th71: :: NUMBER19:71

for p being Polynomial of F_Complex st len p >= 2 holds
for r being Real ex e being Real st
for z being Element of F_Complex st e < |.z.| holds
|.(eval (p,z)).| > r