Legyenek $0\le k\le n$ és $m\ge 2$ egészek. Tekintsük az $\left\{\mathrm{1,2,}\text{...}\mathrm{,}n\right\}$ halmaz $k$-elemű részhalmazait, és minden egyes ilyen részhalmazban az elemek összegének osztási maradékát $m$-mel osztva. Bizonyítsuk be, hogy ha az $m$-féle maradék mindegyike ugyanannyiszor, azaz pontosan $\frac{\left(\genfrac{}{}{0ex}{}{n}{k}\right)}{m}$-szer fordul elő, akkor $n\ge m$.