Theorem 1.8
(Van der Waerden)
.
Assuming that:
k
,
m
∈
ℕ
Then
there exists an
n
∈
ℕ
such that whenever we
k
-colour
[
n
]
we can find a monochromatic
arithmetic progression
of length
m
.