Hindman theorem
= Hindman theorem
{c}
{wiki}
= Hindman's theorem
{c}
{synonym}
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.