Beweis

(1) folgt aus Aufgabe, da eine Gruppe ist. (2). Bei ist die linke Gleichheit eine Definition und die Behauptung folgt aus

Daraus folgt auch die Aussage für negatives . Für (3), (4) siehe Aufgabe.