Sean $m,n$ dos números naturales no nulos y conjuntos $A = \{ 1,2,...,n\}, B = \{1,2,...,m\}$. Decimos que un subconjunto $S$ del producto cartesiano $A \times B$ tiene la propiedad $ (j)$ si $ (a - x)(b - y)\le 0$ para cada par $ (a,b),(x,y) \in S$. Demuestra que cada conjunto $S$ con la propiedad $ (j)$ tiene a lo sumo $m + n - 1$ elementos.