for C being non empty set
for D being non empty complex-membered set
for f being Function of C,D
for r being Complex
for g being Function of C,COMPLEX st ( for c being Element of C holds g . c = r * (f . c) ) holds
g = r (#) f