theorem Th33: :: MESFUN16:33

for f being PartFunc of [:RNS_Real,RNS_Real:],RNS_Real
for g being PartFunc of [:REAL,REAL:],REAL
for t being Element of REAL st f is_continuous_on dom f & f = g holds
( ProjPMap1 (g,t) is continuous & ProjPMap2 (g,t) is continuous )