Exchange lemmas 1: Deng's lemma

Deng's lemma gives estimates on the behavior of solutions of ordinary differential equations in the neighborhood of a partially hyperbolic equilibrium. We prove a generalization in which “partially hyperbolic equilibrium” is replaced by “normally hyperbolic invariant manifold.”