theorem Th35: :: CFUNCT_1:36

for C being non empty set
for f being PartFunc of C,COMPLEX
for r being Complex st r <> 0 holds
(r (#) f) ^ = (r ") (#) (f ^)