theorem Th11: :: FCONT_2:11

for f being PartFunc of REAL,REAL
for Y being Subset of REAL st Y c= dom f & Y is compact & f | Y is continuous holds
f | Y is uniformly_continuous