theorem Th71: :: POLYNOM5:71

for p being Polynomial of F_Complex ex f being Function of COMPLEX,COMPLEX st
( f = Polynomial-Function (F_Complex,p) & f is_continuous_on COMPLEX )