Dirichlet's box principle