theorem Th51: :: CFCONT_1:51

for f being PartFunc of COMPLEX,COMPLEX st dom f is compact & f is_continuous_on dom f holds
rng f is compact