theorem :: FUZZY_7:11

for A being non empty Subset of REAL
for r being Real
for f being PartFunc of REAL,REAL st A c= dom f holds
(r (#) f) | A = r (#) (f | A)