theorem :: VALUED_2:40

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