theorem :: PBOOLE:140

for F, G, H being Function-yielding Function holds (H ** G) ** F = H ** (G ** F)