Ako se još nisi dosetio, evo ideje dokaza:
Neka je podmatrica formata

(

). Tada postoji

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

da bismo svakoj matrici pridružili „njenu“ nulu. Dakle, to je kontradikcija, pa postoji podmatrica koja ne sadrži nijednu nulu.