Ramsey's Theorem
In fact there are various versions of Ramsey's theorem. The version we present here is the one which is useful for our application, and concerns subsets of the natural numbers. Ramsey's theorem is also often phrased in terms of graphs, but it's fairly simple to transform one form of the theorem into another.
