Как формулируется принцип Дирихле?

Существует несколько формулировок принципа Дирихле 1.

Простейшая формулировка: если кролики рассажены в клетки, причём число кроликов больше числа клеток, то хотя бы в одной из клеток находится более одного кролика 2.

Более обобщённая формулировка: если m кроликов рассажены в n клеток, то хотя бы в одной клетке находится не менее m/n кроликов, а также хотя бы в одной клетке находится не более m/n кроликов 1.

Ещё одна формулировка: если в n клетках сидит n+1 зайцев или больше зайцев, то найдётся клетка, в которой сидят по крайней мере два зайца 34.

Также существует парная к этой формулировке: если число клеток больше, чем число кроликов, то как минимум одна клетка пуста 2.