Ako se još nisi dosetio, evo ideje dokaza:
Neka je podmatrica formata
![](https://static.elitesecurity.org/tex/187862998486bcf7be8ca20a35f0f2df.png)
(
![](https://static.elitesecurity.org/tex/0ad76736b1e7be7a4879531571847c05.png)
). Tada postoji
![](https://static.elitesecurity.org/tex/cd4adade8cc9c9d949e30b3a7631b3fa.png)
mogućih pozicija podmatrice u okviru „velike“ matrice.
Ako pretpostavimo suprotno, da svaka podmatrica mora da sadrži bar jednu nulu, i uzmemo najbolji mogući slučaj, da svaka sadrži tačno jednu nulu, krenuvši od gornjeg levog elementa matrice, brzo ćemo „istrošiti“ tih 15 nula, jer nam treba bar
![](https://static.elitesecurity.org/tex/a7361e900867f106d20f4b2110bf82b9.png)
da bismo svakoj matrici pridružili „njenu“ nulu. Dakle, to je kontradikcija, pa postoji podmatrica koja ne sadrži nijednu nulu.