Legyen $k$ nemnegatív egész szám, és tegyük fel, hogy az $a_1$, $a_2$, $\text{...}$, $a_n$ egész számok legalább $2k$ különböző maradékot adnak $\left(n+k\right)$-val osztva. Bizonyítandó, hogy a számok között van néhány, amelyek összege osztható $\left(n+k\right)$-val.