Es ist
sodass ein Gruppenhomomorphismus vorliegt. Wegen
ist einerseits
sodass κ g {\displaystyle {}\kappa _{g}} bijektiv, also ein Automorphismus, ist. Andererseits ist deshalb die Gesamtabbildung κ {\displaystyle {}\kappa } ein Gruppenhomomorphismus.