Nếu 6 chú chim đậu trên 5 chành cây thì thế nào cũng tìm được một cành có ít nhất 2 con; nhốt 9 con gà vào một chuồng có 4 ngăn thì phải có một ngăn nào đó có từ 3 con gà trở lên. Tất cả những điều đơn giản này chính là nội dung của một nguyên lí toán học, "nguyên lí nhốt thỏ" mang tên nhà toán học Đi-rich-lê (Peter Lejeune Dirichlet, 1805 - 1859):
Nếu ta nhốt n chú thỏ vào n-1 lồng thì tồn tại một lồng có từ 2 chú thỏ trở lên.
Tổng quát, nếu nhốt n chú thỏ vào k lồng mà phép chia [TEX]\frac{n}{k}[/TEX] được m còn dư thì tồn tại một lồng chứa m+1 chú thỏ trở lên.
Nguyên lí Đi-rich-lê là một dạng của chuyên đề phản chứng, nó khẳng định sự tồn tại hoặc không tồn tại của một sự kiện nào đó.