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