theorem Th62: :: POLYNOM5:62

id COMPLEX is_continuous_on COMPLEX