Saatimiz uzerinde herhangi bir siralama alalim: a1,…,a12
Ve su uclu toplamlara bakalim (Amacimiz bu uclu toplamlardan en az birisinin 19'dan buyuk oldugunu gostermek):
a1+a2+a3a2+a3+a4a3+a4+a5⋮a10+a11+a12a11+a12+a1a12+a1+a2
Bu listede her aj tam olarak 3 defa yer aliyor. Oyleyse, bu uclu toplamlarin hepsini alt alta yazip toplarsam,
3(a1+a2+…+a12)
sayisini elde ederim. Ama a1,…,a12 sayilari yalnizca 1,2,…,12'nin degisik bir siralanisi. Dogal sayilarda toplama islemi degismeli oldugu icin,
3(a1+a2+…+a12)=3(1+2+…+12)=3×12×132=234
olmasi gerektigini goruruz. Yani, saatteki sayilarin yerini nasil degistirirsek degistirelim, sayilari topladigimizda ve 3 ile carptigimizda sonuc 234'tur.
Bu uclu toplamlarin hepsi 20'den kucuk olsaydi (yani hepsi en fazla 19 olsaydi),
234=3(a1+a2+…+an)≤18+18+…18=12×19=228
olmak zorunda kalacakti. Ama yanilmiyorsam 234, 228'den kucuk(duzeltme: tabii ki 234, 228'den buyuk). Demek ki bu uclu toplamlardan en azindan bir tanesi 19'dan buyuk olmak zorunda.