theorem :: RFUNCT_1:38

for f, g being complex-valued Function holds
( - (f / g) = (- f) / g & f / (- g) = - (f / g) )