Kurs:Diskrete Mathematik (Osnabrück 2020)/Gruppe/Eindeutige Existenz des Inversen/Fakt/Faktreferenznummer