Gruppe/Eindeutige Existenz des Inversen/Fakt

Es sei eine Gruppe.

Dann ist zu jedem das Element mit

eindeutig bestimmt.