Proposition 4.3. Assuming that:

$A \subseteq 𝔽_{3}^{n}$ a set containing no non-trivial 3 term arithmetic progressions

Then

| A | \leq 3 m_{2 n ∕ 3}