f(g(f(x))) = x für jedes x.
f injektiv:    seien a,b ∈ A und f(a) = f(b)
           ==>   g(f(a)) = g(f(b)) , da g eine Abbildung ist.
          ==>  f(g(f(a))) = f(g(f(b))) , da auch f  eine Abbildung ist.
          ==>   a = b   weil f(g(f(x))) = x für jedes x.
f : surjektiv:      Sei  b ∈ B
       ==>    f(g(f(b))) = b    weil f(g(f(x))) = x für jedes x.
also gibt es ein a ( nämlich a=g(f(b))   )  mit f(a) = b .