Meshulam theorem (source code)

= Meshulam theorem
{c}

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