Lời giải:
Theo nguyên lý Dirichlet thì tồn tại 1 chuồng có ít nhất:
$[\frac{25}{4}]+1=7$ (con thỏ)
Cách khác:
Nếu không tồn tại chuồng nào có ít nhất 7 con thỏ, nghĩa là các chuồng đều có số thỏ ít hơn 7 con, hay tối đa là 6 con. Khi đó, số thỏ tối đa sẽ là $6.4=24$ con (trái đề)
Do đó tồn tại 1 chuồng có ít nhất 7 con thỏ.