Theorem 1.9
(Strengthened Van Waerden)
.
Assuming that:
m
,
k
∈
ℕ
Then
there exists
n
such that whenever
[
n
]
is
k
-coloured, there exists a monochromatic
arithmetic progression
of length
m
together with their common differences, i.e. the set
{
d
,
a
,
a
+
d
,
…
,
a
+
(
m
−
1
)
d
}
is monochromatic.