theorem Th4: :: C0SP3:4

for X being non empty TopSpace
for S being LinearTopSpace
for f being Function of X,S
for a being Real st f is continuous holds
a (#) f is continuous