Lemma 9.9
Kurs:Elemente der Algebra (Osnabrück 2015)/Vorlesung 9 Teilbarkeitstheorie (Z)/Exponentenkriterium/Fakt