Gruppe/Eindeutige Existenz des Inversen/Fakt/Beweis/Aufgabe