Nueve puntos del plano, situados en los vértices de un nonágono regular, están conectados por pares mediante segmentos, cada uno de los cuales está coloreado de rojo o azul. Se sabe que en cualquier triángulo con vértices en los vértices del nonágono al menos un lado es rojo. Demuestra que hay cuatro puntos, dos cualesquiera de los cuales están conectados por líneas rojas.