Lemma 1.7
Kurs:Einführung in die Algebra (Osnabrück 2009)/Vorlesung 1 Gruppe/Eindeutige Existenz des Inversen/Fakt