theorem Th20: :: FCONT_1:20

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