Okay ich denke ich habs. Zwar nicht mit den Anfügen von \(\phi(g)^{-1}\), dafür aus der Erkenntnis, dass man aus der Gleichungskette rauslesen kann, dass man das \(\phi(g)\) rauskürzen kann:
\(\phi(g)\phi(g)^{-1}=\phi(g)\phi(g^{-1})\)
\(\phi(g)^{-1}=\phi(g^{-1})\)
Stimmt doch, oder? :)