Lemma. The composite of isomorphisms is an isomorphism [isomorphism-composite]

    If we have and then .

    Proof. [#]

      Consider . Then and as desired.

      Thus .