On an extension of Glaisher's generalization of Wilson's theorem. (Q1444869)

Setzt man \[ \prod_{i=1}^{n-1}(x + m +i) = x^{n-1} + {}_{n-1}^{ \;\;m}A_1x^{n-2} + {}_{n-1}^{ \;\;m}A_2x^{n-3} + \cdots + {}_{n-1}^{ \;\;m}A_{n-1}, \] und ist \(p\) irgendeine Primzahl \(\leqq n\), so weist Moritz in überaus umständlicher Weise nach, daß, wenn \(n = kp + q\), \(0\leqq q < p\) (hier steht \(m\) der Formulierung der Behauptung irrtümlich \(m\) statt \(n\)), \[ \text{und} \quad \quad \quad \quad \quad \quad \quad \quad \begin{matrix} \l&\l \quad \quad \quad \quad \quad \quad \\ {}_{n-1}^{ \;\;m}A_{p-1}&\equiv -k(p), \;\text{wenn} \;q > 0, \\ {}_{n-1}^{ \;\;m}A_{p-1}&\equiv -k(p), \;\text{wenn} \;q=0, \;m\not\equiv 0(p) \\ &\equiv -k-1(p), \;\;\text{wenn} \;q = 0, \;m \equiv 0(p). \end{matrix} \hfill {} \] Die Behauptung folgt fast unmittelbar aus dem kleinen Fermetschen Satz in der Gestalt \[ \prod_{i=1}^p(x+m+ i)\equiv x^p-x(p). \] Verf. braucht hierzu vier Seiten.