Legyenek $a$, $n$ és $t$ pozitív egészek, amelyekre $a\le n$ teljesül. Tekintsük az $\left\{\mathrm{1,2,}\text{...}\mathrm{,}n\right\}$ halmaz azon részhalmazait, melyekben bármely két elem különbsége legalább $t$. Bizonyítsuk be, hogy e halmazok közül az $a$-t nem tartalmazók száma legfeljebb $t^2$-szerese az $a$-t tartalmazók számának.