Bizonyítandó, hogy $\frac{\left(n+1\right)\left(n+2\right)\text{...}\left(n+k\right)}{n}$, akkor és csakis akkor egész szám, ha $n$ osztója az első $k$ természetes szám szorzatának ($k!$-nak), vagy ezzel a szorzattal egyenlő.