Dirichlet (1805 - 1859) apresenta o princípio da gaveta, também conhecido como princípio da casa dos pombos. Este afirma que, se tivermos mais do que n objetos arrumados em n gavetas, então há pelo menos uma gaveta com mais de um item. De forma mais abstrata, podemos dizer: Se M é um conjunto finito, é impossível estabelecer uma correspondência de um para um de elementos de M com outros elementos de qualquer subconjunto de M, de forma a que fiquemos com algum elemento que não tenha correspondente. (Adaptado de http://pt.wikipedia.org. Disponível em: 24 mar. 2012.)