Van der Waerden theorem (source code)

= Van der Waerden theorem
{c}
{wiki}

Every <finite coloring> of the <positive integer>[positive integers] contains monochromatic <arithmetic progression>[arithmetic progressions] of every prescribed finite length.