  The purpose of this article is prove that Thompson's group F is amenable. The
methods developed will then be used to prove a generalization of Hindman's
theorem for the free nonassociative binary system on one generator.
