Nếu nhốt m.n+r ( m,n,r là các số nguyên dương ) con thỏ vào n cái chuồng thì phải có ít nhất một chuồng chứa không ít hơn m+1
con thỏ
Nhìn thóang qua thì có vẻ đơn giản và dễ hiểu nhưng áp dụng thì không hề dễ dàng.Phải biết linh hoạt trong việc chọn chuồng và thỏ mới thấy được tính "Dirichlet" trong đó
nếu nhốt n thỏ vào k lồng mà n/k có dư thì tồn tại một lồng chứa m+1 thỏ trở lên