Dirichlet's Box Principle