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.