theorem Th78: :: CFUNCT_1:79

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