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. Legyenek a számok nagyság szerint növekedő sorrendben , , , . Jelölje az összeget. Mivel az számokat nagyság szerint rendeztük, azért az , , , számok először csökkenhetnek (ameddig az -k negatívak), azután pedig nőnek. és között a különbség legfeljebb , és , így van olyan , amelyre , ekkor persze . Ha itt egyenlőség van, akkor , ahonnan , hiszen a számok nagyság szerint következnek és egyikük sem nagyobb -nál. Ekkor viszont osztható volna -mal, ami nem igaz, vagyis . Ha , akkor készen vagyunk, így föltehető, hogy . Ha most az , , , számok között találunk néhány olyat, amelyek összegére , akkor ismét készen vagyunk. Ha ugyanis , akkor maga megfelelő, ha pedig , akkor a sem -ban, sem pedig -ben nem szereplő számok összege , ez pedig és közé esik | | Az , , , , számokat addig adogassuk össze, míg először kapunk -nél nagyobb összeget. Ez az összeg nem nagyobb -nél, tehát megfelelő, hacsak nem éppen . Ebben az esetben viszont azok a számok, amelyek sem -ban, sem pedig ebben az -ben nem szerepelnek, valamennyien -mal egyenlők. Másrészt összegük , ami miatt nem lehet -mal osztható egész. Ezzel a feladat állítását igazoltuk. |