Satz 12.5
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 12 Gruppe/Kommutativ/Restklassengruppe/Fakt