Theorem 2.7 (Finite Sums Theorem). Let $m$ be fixed. Then whenever we finitely colour $ℕ$ , there exist ${x_{1}, \dots, x_{m}}$ such that

{\sum_{i \in X_{i}} : I \subset [m], I \neq \emptyset}

is monochromatic.