Legyenek $m$ és $n$ pozitív egészek, és legyen $H$ az $\left\{\mathrm{1,2,}\text{...}\mathrm{,}m\right\}\times \left\{\mathrm{1,2,}\text{...}\mathrm{,}n\right\}$ halmaz egy részhalmaza. Mutassuk meg, hogy ha $|H|>m+\left(m+n\right)\text{log}{}_{2}n$, akkor vannak olyan $1\le u<v\le m$ és $1\le x<y<z\le n$ egészek, amelyekre $\left(u\mathrm{,}x\right)$, $\left(u\mathrm{,}y\right)$, $\left(v\mathrm{,}x\right)$ és $\left(v\mathrm{,}z\right)$ is elemei $H$-nak.