theorem Th21: :: VALUED_2:21

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