Hindman's theorem

Etymology
Named after N. Hindman.

Proper noun

 * 1)  A theorem stating that, if $$S\,$$ is an IP set and $$S = C_1 \cup C_2 \cup ... \cup C_n$$, then at least one $$C_i\,$$ contains an IP set.