Zum Nachweis der Wohldefiniertheit sei
eine weitere Darstellung, also
Dann ist nach Fakt
woraus sich
ergibt. Die Gruppenhomomorphie ergibt sich ebenfalls aus Fakt.