theorem :: VALUED_2:26

for g, h being complex-valued Function holds - (g /" h) = (- g) /" h