theorem Th10: :: VALUED_2:10

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