theorem Th63: :: POLYNOM5:63

for x being Element of COMPLEX holds COMPLEX --> x is_continuous_on COMPLEX