theorem Th22: :: FCONT_1:22

for X being set
for f being PartFunc of REAL,REAL st f | X is continuous & f " {0} = {} holds
(f ^) | X is continuous