theorem Th28: :: FCONT_1:28

for f being PartFunc of REAL,REAL st dom f is compact & f | (dom f) is continuous holds
rng f is compact