theorem Th23: :: VALUED_2:23

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