Composite of Isomorphisms is Isomorphism