Legyen adott $2^k$-nál több különböző egész szám, ahol $k$ tetszőleges természetes számot jelöl. Bizonyítandó, hogy kiválasztható közülük $k+2$ úgy, hogy valahányszor valamilyen $m$ pozitív egészre és $x_1<x_2<\text{...}<x_m$, $y_1<y_2<\text{...}<y_m$ kiválasztott számokra