Considera una mesa rectangular con un numero finito de filas y columnas, con un número real $a_{r,c}$ en la celda de la fila $r$ y columna $c$. Una pareja $(R,C)$, donde $R$ es un conjunto de filas y $C$ un conjunto de columnas, se llama par de monte si se cumplen las siguientes dos condiciones: 1. Para cada fila $r'$, existe una fila $r \in R$ tal que $a_{r,c} \geq a_{r',c}$ para todo $c \in C$. 2. Para cada columna $c'$, existe una columna $c \in C$ tal que $a_{r,c} \leq a_{r,c'}$ para todo $r \in R$. Un par de monte $(R,C)$ se llama par minimal si para cada par de silla $(R',C')$ con $R' \subseteq R$ y $C' \subseteq C$, se tiene $R' = R$ y $C' = C$. Demuestra que todos los pares minimales tienen el mismo número de filas.