theorem Th36: :: CFCONT_1:36

for x0 being Complex
for f being PartFunc of COMPLEX,COMPLEX st f is_continuous_in x0 & f /. x0 <> 0 holds
f ^ is_continuous_in x0