Supongamos que un punto en el plano se llama bueno si tiene coordenadas racionales. Demuestra que todos los puntos buenos pueden ser divididos en tres conjuntos que satisfacen: 1) Si el centro del círculo es bueno, entonces hay tres puntos en el círculo de cada uno de los tres conjuntos. 2) No hay tres puntos colineales que sean de cada uno de los tres conjuntos.