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\leq n<n+1$ anlamına geliyor, çelişki.
İspata ihtiyaç var mıydı bilmiyorum ama..