Lemma 5.9
Kurs:Zahlentheorie (Osnabrück 2016-2017)/Vorlesung 5 Restklassenring (Z)/Einheitengruppe/Primzahlpotenzreduktion/Surjektiv/Fakt