Eğer n dala n+1 kuş konmuşsa dallardan birinde en az iki kuş vardır.
İspat: Hiç bir dalda en az iki kuş olmayacağını kabul edelim. Bu da demek oluyor ki dallarda en fazla birer adet kuş olabilir, yani toplamda n sayısından az kuş olmalı. Bu da n+1≤n<n+1 anlamına geliyor, çelişki.
İspata ihtiyaç var mıydı bilmiyorum ama..