beginning of infinite ramsey theorem proof