Bizonyítsuk be, hogy az első 1993 pozitív egész számot ki lehet színezni két színnel úgy, hogy ne legyen köztük 17 tagból álló, egyszínű számtani sorozat.