Kurs:Diskrete Mathematik/Untergruppen von Z/Ein Erzeuger/Fakt/Faktreferenznummer

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