theorem :: INTEGRA9:30

for f, g, h being PartFunc of REAL,REAL
for A being non empty closed_interval Subset of REAL holds |||((f (#) g),h,A)||| = |||(f,(g (#) h),A)||| by RFUNCT_1:9;