Sea $M$ el conjunto de puntos de coordenadas enteras situados en la línea $d$ de números reales. Coloreamos los elementos de M en blanco o negro. Demuestra que al menos una de las siguientes afirmaciones es verdadera: (a) existe un subconjunto finito $F \subset M$ y un punto $M \in d$ de modo que los elementos del conjunto $M - F$ que se encuentran en uno de los rayos determinados por $M$ en $d$ son todos blancos, y los elementos de $M - F$ que están situados en el rayo opuesto son todos negros, (b) existe un subconjunto infinito $S \subset M$ y un punto $T \in d$ de modo que para cada $A \in S$ el reflejo de A sobre $T$ pertenece a $S$ y tiene el mismo color que $A$