theorem Th71: :: CFUNCT_1:72

for Y being set
for C being non empty set
for f being PartFunc of C,COMPLEX
for r being Complex st f | Y is bounded holds
(r (#) f) | Y is bounded