Finite-field Szemerédi theorem for four-term arithmetic progressions (source code)

= Finite-field Szemerédi theorem for four-term arithmetic progressions
{c}

For $p\geq5$ and every $\alpha>0$, a sufficiently large subset of $\mathbb F_p^n$ of density at least $\alpha$ contains a nontrivial four-term <arithmetic progression>.