theorem Th22: :: VALUED_2:22

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