If a set N₉ = {1, 2, 3, 4, 5, 6, 7, 8, 9} of 9 numbers is split into two subsets, then at least one of them contains three terms in arithmetic progression.
The statement is not true for a set N₈ of 8 integers.

Seems obvious?

Prove it.