Bizonyítsuk be, hogy $1$-től $1986$-ig a természetes számok kiszínezhetők pirossal és kékkel úgy, hogy ne forduljon elő olyan $18$ tagú számtani sorozat, amelynek minden tagja ugyanolyan színű!