Güvercin Yuvası İlkesi

n nesne, n'den az kutuya yerleştirilirse, en az bir kutu birden fazla nesne içerir.

7
4
Güvercin
7
nesne
Yuva
4
kutu
En Kalabalık
güvercin
Çakışma Garanti?
Evet
Dolu (1 güvercin)
Aşırı dolu (2+)
Boş yuva
Teorem Uygulaması
7 güvercin 4 yuvaya yerleştirilince, en az bir yuvada ⌈7/4⌉ = 2 güvercin bulunmak zorundadır.