theorem Th32: :: RFUNCT_1:32

for f, g being complex-valued Function
for r being Complex holds r (#) (g / f) = (r (#) g) / f