# Difference between revisions of "Hindman's theorem"

Hindman's theorem: If $[2]^\omega := \bigcup_{n=0}^\infty [2]^n$ is finitely colored, then one of the color classes contain all elements of an infinite-dimensional combinatorial subspace which contain the digit 1, and such that none of the fixed digits of this subspace are equal to 1.