Sea $ n \leq 44, n \in \mathbb{N}.$ Demuestra que para cualquier función $ f$ definida sobre $ \mathbb{N}^2$ cuyas imágenes están en el conjunto $ \{1, 2, \ldots , n\},$ existen cuatro pares ordenados $ (i, j), (i, k), (l, j),$ y $ (l, k)$ tales que \[ f(i, j) = f(i, k) = f(l, j) = f(l, k),\ ] en los que $ i, j, k, l$ se eligen de tal manera que existen números naturales $ m, p$ que satisfacen \[ 1989m \leq i < l < 1989 + 1989m\ ] y \[ 1989p \leq j < k < 1989 + 1989p.\ ]