A theorem on congruence. (Q5923041)

Verf. beweist: 1) Ist \(p\) eine ungerade Primzahl, so gilt \[ 1^{p-1} + 2^{p-1} + \cdots + (p - 1)^{p-1} - p (p - 1)! \equiv 0 \pmod {p^2}. \] 2) Sind \(m\) und \(n\) Primzahlen \(> r\), so gilt \[ \binom {m+n-p}r - \binom {m-p}r - \binom {n-p}r +(-1)^r \binom {r+p-1}r \equiv 0 \pmod{mn}. \] Der für 2) gegebene Beweis gilt nur für \(m \not = n\), man überlegt jedoch leicht daß der Satz auch für \(m = n\) richtig ist. Auf S. 333 muß es \(\binom {n-1}2\) statt \(\binom {n-2}2\) und \(\binom {n-1}s\) statt \(\binom {n-s}s\) heißen.