dirichlet's box principle Synonyms