Bizonyítsuk be, hogy 502 természetes szám között mindig találhatunk kettőt, amelyek különbsége vagy összege osztható ezerrel.