Lemma 1.11
Kurs:Elemente der Algebra (Osnabrück 2024-2025)/Vorlesung 1 Gruppentheorie/Endlich/Ordnung/Verschieden/Fakt