theorem Th28: :: RFUNCT_1:28

for f being complex-valued Function
for r being Complex st r <> 0 holds
(r (#) f) ^ = (r ") (#) (f ^)