theorem Th49: :: RFUNCT_1:49

for X being set
for f being complex-valued Function
for r being Complex holds (r (#) f) | X = r (#) (f | X)