3quarksdaily: F. P. Ramsey's Marvelous Theorem