Kurs:Diskrete Mathematik/Gruppe/Kommutativ/Restklassengruppe/Fakt/Faktreferenznummer

Satz 12.5 (Diskrete Mathematik (Osnabrück 2020))