Q40 Matemática  (Tournament Of Towns 1989)

Uma matriz retangular tem $m$ linhas e $n$ colunas, onde $m<n$. Algumas células do array contêm estrelas, de forma que haja pelo menos uma estrela em cada coluna. Prove que existe pelo menos uma estrela tal que a linha que a contém tem mais estrelas do que a coluna que a contém. (A. Razborov, Moscou)