theorem :: CFUNCT_1:31

for f being complex-valued Function holds - f = (- 1) (#) f ;