for X being non empty set
for T being non empty associative multMagma
for f, g, h being Function of X,T holds (f (#) g) (#) h = f (#) (g (#) h)