theorem Th41: :: FLEXARY1:41

for x being object
for f being Function-yielding Function
for g being Function holds (g *. f) . x = g * (f . x)