theorem Th34: :: RFUNCT_1:34

for f, f1, g, g1 being complex-valued Function holds (f / g) (#) (f1 / g1) = (f (#) f1) / (g (#) g1)