Die zweite Isomorphieaussage (Struktur der primen Restklassengruppe modulo Primzahlpotenz) folgt aus der Existenz gewisser Primitivwurzeln A. Leutbecher: Zahlentheorie - Eine Einführung in die Algebra, S. 53-54.