for a being Real
for S being non empty compact TopSpace
for T being NormedLinearTopSpace
for F, G being Point of (R_NormSpace_of_ContinuousFunctions (S,T))
for f, g being Function of S,T st f = F & g = G holds
( G = a * F iff for x being Element of S holds g . x = a * (f . x) )