g ◦ f : A →C invertierbar ist mit (g ◦ f)−1 = f−1 ◦ g−1.
Du brauchst nur zu zeigen, dass  h=  f−1 ◦ g−1 eine Abbildung
von C nach A ist, für die gilt  h o  (gof)  = idA .
Sei also a ∈ A . Dann gilt  (h o  (gof))(a)
            = h (   g(f(a))   )
            = (  f^(−1) ◦ g^(−1)) (  g(f(a) )
            = f^(-1)  (    g^(−1)  (  g(f(a)) )
=  f^(-1)  (    g^(−1) o   g) (f(a) )   )  weil   g^(−1) o  g = idB also
=  f^(-1) (f(a) )   = a    weil  f^(−1) o  f = idA      q.e.d.