Fix Ramsey exist proof