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