Dirichlet's drawer principle