Sea $n\ge 2$ un entero positivo. Llene una tabla de $n\times n$ con los números $1,2,...,n^2$ exactamente una vez cada uno. Dos celdas se denominan adyacentes si tienen un borde común. Se sabe que para dos celdas adyacentes, los números que contienen difieren a lo sumo en $n$ . Muestre que existe un cuadrado de $2\times 2$ de celdas adyacentes tal que los pares diagonalmente opuestos suman el mismo número.