Problem #PRU-5156

Problems Combinatorics Colorings of the board

Problem

A \((2n - 1) \times (2n - 1)\) board is tiled with pieces of the following possible types:

Prove that at least \(4n-1\) of the first type have been used.