Száz dobozban elhelyeztünk száz golyót. Tudjuk, hogy bárhogyan választunk ki a dobozok közül száznál kevesebbet ‐ mondjuk $k$ darabot ‐, az ezekben levő golyók száma nem egyenlő $k$-val, a kiválasztott dobozok számával.
Bizonyítsuk be, hogy akkor valamennyi golyót egyetlen dobozba tettük.