Egy egyenesen adott $2n$ különböző pont. Közülük az $A_1$, $A_2$, $\text{...}$, $A_n$ piros színű és a $B_1$, $B_2$, $\text{...}$, $B_n$ kék színű. E pontok által meghatározott szakaszok mint átmérők fölé köröket rajzolunk. A körvonalakat pirossal vagy kékkel színezzük aszerint, hogy az átmérőjük végpontjai azonos vagy különböző színűek. Mutassuk meg, hogy a kék körvonalak összhossza legalább akkora, mint a pirosaké.