Analogues of Bauer's theorems. (Q2590546)

Verf. beweist: 1) Falls \(p\) eine ungerade Primzahl ist und \(u\) ganz \(\geqq1\), so ist \[ {\prod\limits_{a=1}^{p^u}}(x + a)\equiv(x^{p} - x)^{p^{u-1}}\;(\bmod\;p^u). \] 2) Falls \(u\) ganz \(\geqq2\) ist, so ist: \[ {\prod\limits_{a=1}^{2^u}}(x + a)\equiv\{(x - 1)x(x + 1)(x + 2) \}^{2^{u-2}}\;(\bmod\;2^u). \] 3) Falls \(n = p^un_p\), \(p\) prim, \((n_p, p) = 1\), \(u\) ganz \(\geqq1\) ist, so ist \[ {\prod\limits_{a=1}^{n}}(x + a)\equiv{\prod\limits_{a=1}^{p^u}} (x + a)^{n_p}\;(\bmod\;p^u). \]