Dado $S$ sea el conjunto reticular finito (con coordenada entera) en el plano $xy$. $A$ es el subconjunto de $S$ con más elementos tal que la línea que conecta dos puntos cualesquiera en $A$ no es paralela al eje $x$ o al eje $y$. $B$ es el subconjunto de enteros con menos elementos tal que para cualquier $(x,y)\in S$, $x \in B$ o $y \in B$ se cumple. Pruebe que $|A| \geq |B|$.