theorem :: VFUNCT_1:10

for C being non empty set
for r being Real
for V being non empty scalar-associative RLSStruct
for f1 being PartFunc of C,REAL
for f2 being PartFunc of C,V holds r (#) (f1 (#) f2) = f1 (#) (r (#) f2)