a1,a2,...,a16 száznál nem nagyobb, különböző pozitív egészek. Bizonyítsuk be, hogy van köztük négy különböző, amelyekre ai+aj=ak+al!