Adott két sorozat, az elemeik pozitív egészek: a1,a2,...,an és b1,b2,...,bk, továbbá ai≤k és bj≤n. Mutassuk meg, hogy léteznek olyan 0≤i1<i2≤n és 0≤j1<j2≤k egészek, amelyekre