MathNet 2025 — Part 02 (100 complete bilingual questions) Question 48

Given a square board of $8 \times 8$ and one colors exactly $7$ squares of the board. Prove that for every way of coloring, there always exists a sub-square size $2 \times 2$ of the board on which exactly one square is colored.