for r being Real
for S, T being RealNormSpace
for f being PartFunc of S,T
for x0 being Point of S st f is_continuous_in x0 holds
r (#) f is_continuous_in x0