dirichlets box principle