Kurs:Vorkurs Mathematik (Osnabrück 2021)/Gruppe/Kommutativ/Restklassengruppe/Fakt/Faktreferenznummer

Satz 41.5 (Grundkurs Mathematik (Osnabrück 2022-2023))