Finite-field Szemerédi theorem for four-term arithmetic progressions
= 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>.