Ek Soru: n tane tam sayı verilsin. Elemanlarının toplamı n ile tam bölünebilecek şekilde, bu sayıların bir alt kümesinin seçilebileceğini gösteriniz.
Çözüm: n tane tam sayı a1,a2,…,an olsun. k=1,2,…,n için Tk=a1+a2+⋯+ak toplamlarını tanımlayalım.
Eğer n∣Tk olacak biçimde bir k değeri varsa {a1,a2,…,ak} alt kümesi istenen özelliktedir.
Eğer her bir k∈{1,2,…,n} için n∤ oluyorsa T_1, T_2, \dots , T_n sayıları n ile bölümünden 1, 2, \dots , n-1 kalanlarını verebilir. Güvercin yuvası prensibi gereği 1 \leq i < j \leq n olacak biçimde öyle iki farklı i, j değerleri vardır ki T_i ile T_j, n ile bölündüğünde aynı kalanı verirler. Yani T_j - T_i \equiv 0 \pmod{n} olur. Bu durumda
n \mid T_j - T_i = a_{i+1} + a_{i+2} + \cdots + a_{j}
olup \{ a_{i+1}, a_{i+2}, \dots , a_{j} \} kümesi istenen özelliktedir.