Satz .
Kurs:Elemente der Algebra (Osnabrück 2024-2025)/Vorlesung Gruppe/Kommutativ/Restklassengruppe/Fakt
