for X being non empty TopSpace
for S being LinearTopSpace
for f being Function of X,S
for x being Point of X
for a being Real st f is_continuous_at x holds
a (#) f is_continuous_at x