Theorem 4.12
(Szemeredi’s Theorem for 4-APs)
.
Assuming that:
A
⊆
𝔽
5
n
a set containing no non-trivial 4 term arithmetic progressions
Then
|
A
|
=
o
(
5
n
)
.