theorem Th27: :: FUZZY_7:10

for A being non empty Subset of REAL
for r being Real
for f being Function of REAL,REAL holds (r (#) f) | A = r (#) (f | A)