dirichlet's drawer principle Synonyms