https://123dok.net/document/yr311xgv-a-lambda-lemma-for-normally-hyperbolic-invariant-manifolds.html