Lemma 16.8
Kurs:Elemente der Algebra (Osnabrück 2015)/Vorlesung 16 Eulersche Funktion (Zahlentheorie)/Formel für Primzahlpotenz/Fakt