theorem Th70: :: POLYNOM5:70

for x being Element of F_Complex
for n being Nat ex f being Function of COMPLEX,COMPLEX st
( f = FPower (x,n) & f is_continuous_on COMPLEX )