Convergence Lemmas

The four Lemmas C1 to C4 are proved in section 4.4 of Arnold (1963a). They address the infinite sequence of canonical transformations that shift perturbations to higher orders.