The proof is on page 143 (the very beginning is on page 142). It is based on
Blichfeldt's Theorem.
Let the squares have side 1. Consider square lattice with size 2, parallel to squares' sides. According to the Theorem, translate the figure to cover at least

points of the lattice. Unit squares that cover different lattice points, cannot intersect each other, so their total area is at least

.