theorem Th30: :: VALUED_2:30

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