theorem :: CFUNCT_1:86

for r being Complex
for f being complex-valued Function holds r (#) (- f) = - (r (#) f) by T2;