theorem Th17: :: INTEGRA2:17

for r being Real
for X being non empty set
for f being Function of X,REAL holds rng (r (#) f) = r ** (rng f)