Vitalsource Technologies, Inc. Basics of Ramsey Theory