Finite-field Szemerédi theorem for four-term arithmetic progressions

For $p\ge 5$ 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.