theorem Th34: :: MESFUN16:34

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 )