v1 of proof of ramsey's theorem