Hindman theorem (source code)

= Hindman theorem
{c}
{wiki}

Every <finite coloring> of the <positive integer>[positive integers] has an infinite sequence $(x_i)$ for which all nonempty finite sums of distinct terms have one color.