theorem Th80: :: RFUNCT_1:80

for Y being set
for r being Real
for f being real-valued Function st f | Y is bounded holds
(r (#) f) | Y is bounded