A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Jelöljük a második sorban álló gyerekeket nagyság szerint sorszámozva -nel, magasságaik legyenek . Az első felállás szerint előtt , előtt , , előtt állt, magasságaikat jelőlje rendre . (Itt is, és a továbbiakban is, a nagyság szerinti sorrendben tulajdonképpen a 2. felírásbeli sorrendet értjük: ha például , akkor és eyforma magas ugyan, de a 2. felállásban -től balra áll, s ennek megfelelően övé a kisebb sorszám.) Tekintsünk egy tetszőleges gyereket a 2. sorból, mondjuk -t. A feltételek, valamint a jelőlés választása miatt: | |
Találtunk tehát olyan gyereket az első sorban, akik alacsonyabban -nál. Ekkor viszont az első sorban a nagyság szerinti -adik szintén alacsonyabb -nál. Ezek szerint előtt az új felállásban is nála alacsonyabb gyerek áll; s mivel ez tetszőleges esetén érvényes, ezzel az állítást is beláttuk. |