Explain Ramsey's theory and prove Ramsey's theorem