Gruppe/Eindeutige Existenz des Inversen/Fakt/Name/Inhalt

Zu jedem ist das Element mit

eindeutig bestimmt.