a) Angenommen ggT(p^n , l) > 1.
Da p^n außer 1 nur Teiler der Form p^k hat, folgt
p|l .
Ist nun \( l=a_{0}+a_{1} p+\ldots+a_{n-1} p^{n-1} \)
==> \( l - (a_{1} p+\ldots+a_{n-1} p^{n-1} ) =a_{0\)
und die linke Seite ist als Differenz zweier durch ü teilbarer
Zahlen auch durch p teilbar, also die rechte auch.
==> p| ao . Und wegen \( a_{0} \in\{0,1, \ldots, p-1\} \)
also ao=0.
Damit hast du die eine Richtung von a) begründet.