Докажите, что существует положительная константа , для которой выполняется следующее утверждение:  Пусть  — множество из  точек плоскости, в котором расстояние между любыми двумя точками не меньше 1.
 Тогда существует прямая , разделяющая множество , такая что расстояние от любой точки  до  не меньше чем 
(Прямая  разделяет множество точек , если она пересекает некоторый отрезок, концы которого принадлежат .)
Замечание. Более слабые результаты с заменой  на  могут оцениваться в зависимости от значения константы .