theorem Th31: :: VALUED_2:31

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