theorem Th29: :: FUNCOP_1:29

for f, h, F being Function
for x being object holds (F [:] (f,x)) * h = F [:] ((f * h),x)