Prinsip Sarang Merpati
Jika $N$ objek dimasukkan ke dalam $k$ kotak, maka ada kotak yang berisi paling sedikit $\lceil N/k\rceil$ objek. Khususnya, $n+1$ objek dalam $n$ kotak memaksa ada kotak yang berisi dua objek.
Jika $N$ objek dimasukkan ke dalam $k$ kotak, maka ada kotak yang berisi paling sedikit $\lceil N/k\rceil$ objek. Khususnya, $n+1$ objek dalam $n$ kotak memaksa ada kotak yang berisi dua objek.