A (2n−1)×(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.