Erdős–Szemerédi theorem (source code)

= Erdős–Szemerédi theorem
{wiki=Erdős–Szemerédi_theorem}