Problem

Source: Greece JBMO TST 2019 p4

Tags: combinatorics, grid, table, Chessboard, square grid



Consider a $8\times 8$ chessboard where all $64$ unit squares are at the start white. Prove that, if any $12$ of the $64$ unit square get painted black, then we can find $4$ lines and $4$ rows that have all these $12$ unit squares.