(f∗h1​)∗h2​=f∗(h1​∗h2​) (AB)C = A(BC)