Dado un entero positivo $n\ge 3$ , colorea cada celda de un arreglo cuadrado de $n\times n$ con uno de $\lfloor (n+2)^2/3\rfloor$ colores, usando cada color al menos una vez. Demuestra que hay algún subarreglo rectangular de $1\times 3$ o $3\times 1$ cuyas tres celdas están coloreadas con tres colores diferentes.