Ramsey's theorem: Difference between revisions