Lemma 5.3
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 5 Gruppe/Eindeutige Existenz des Inversen/Fakt