theorem Th36: :: RFUNCT_1:36

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