Considere un conjunto de $16$ puntos dispuestos en una formación de cuadrícula cuadrada de $4 \times 4$ . Demuestre que si alguno de estos $7$ puntos está coloreado de azul, entonces existe un triángulo rectángulo isósceles cuyos vértices son todos azules.