A generalization of a theorem of Wolstenholme. (Q5916635)

Der zuerst von \textit{Wolstenholme} (Quarterly J. 5 (1862), 35-39) und später noch mehrfach bewiesene Satz, daß für jede Primzahl \(p > 3\) \[ \sum_{n=1}^{p-1}\dfrac{1}{n}\equiv 0 \quad (\operatorname{mod}\;p^2) \] gilt, wird folgendermaßen erweitert: Für jede positive ganze Zahl \(m\) ist \[ \sum^{p^m}_{\begin{matrix} n=1\\ (n, p)=1 \end{matrix}}\dfrac{1}{n}\equiv \begin{cases} 0 \;(\operatorname{mod} \;p^{2m}) \;\text{für} \;p>3,\\ 0 \;(\operatorname{mod} \;p^{2m-1}) \;\text{für} \;p=3.\\ \end{cases} \]