theorem Th24: :: VALUED_2:24

for c being Complex
for g being complex-valued Function holds (- c) (#) g = - (c (#) g)