(g◦f)^-1 = f^-1◦g^-1 ya que, [(g◦f) ◦ (f^-1◦g^-1)] = [g◦(f ◦ f^-1)◦g^-1] = (g◦g^-1) = Id

                                   [(f^-1◦g^-1)◦(g◦f)] = [f^-1◦(g^-1◦g)◦f] = (f^-1◦f) = Id

En las igualdades hemos utilizado la propiedad asociativa de la operación ◦