Представьте себе ситуацию: у вас есть пять пухлых почтовых голубей и всего четыре деревянных ящика. Вы очень хотите запихнуть всех птиц по домикам. Как ни крути, как ни старайся, а в одном из ящиков точно окажутся как минимум два голубя. Ну, если только вы не решите оставить одного бедолагу на улице, но правила игры этого не позволяют. Вот, собственно, и всё. Звучит как нечто само собой разумеющееся, правда? Но этот «очевидный» факт в руках математиков превращается в мощнейший инструмент, способный доказывать сложнейшие теоремы. Петер Густав Лежён-Дирихле, немецкий математик девятнадцатого века, видимо, очень любил порядок, раз решил формализовать эту мысль...