Die Abbildung ist nach Fakt ein wohldefinierter Gruppenhomomorphismus. Aus Fakt folgt, dass er surjektiv ist.