Todos los puntos con coordenadas enteras en el plano $ xy$ se colorean con tres colores, rojo, azul y verde, usando cada color al menos una vez. Se sabe que el punto $ (0,0)$ es rojo y el punto $ (0,1)$ es azul. Pruebe que existen tres puntos con coordenadas enteras de distintos colores que forman los vértices de un triángulo rectángulo.