theorem Th21: :: NFCONT_3:21

for X being set
for r being Real
for S being RealNormSpace
for f being PartFunc of REAL, the carrier of S st X c= dom f & f | X is continuous holds
(r (#) f) | X is continuous