Composition of Diffeomorphisms