Dado un entero positivo $n\ge 3$, coloree cada celda de una matriz cuadrada de $n\times n$ con uno de los $\lfloor (n+2)^2/3\rfloor$ colores, y cada color se usa al menos una vez. Demuestre que hay alguna submatriz rectangular de $1\times 3$ o $3\times 1$ cuyas tres celdas están coloreadas con tres colores diferentes.