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