Sea $u_{jk}$ un número real para cada $j=1,2,3$ y cada $k=1,2$ y sea $N$ un entero tal que \n\[\max_{1\le k \le 2} \sum_{j=1}^3 |u_{jk}| \leq N\] \nSean $M$ y $l$ enteros positivos tales que $l^2 <(M+1)^3$. Demuestra que existen enteros $\xi_1,\xi_2,\xi_3$ no todos cero, tales que \n\[\max_{1\le j \le 3}\xi_j \le M\ \ \ \text{y} \ \ \ \left|\sum_{j=1}^3 u_{jk}\xi_k\right| \le \frac{MN}{l} \ \ \ \text{para k=1,2}\]