Convergence of formal invertible CR mappings between minimal holomorphically nondegenerate real analytic hypersurfaces (Q5954786)

Let \((M,p)\) and \((M',p')\) be two small pieces of real analytic hypersurfaces in \(\mathbb{C}^n\) with \(n\) larger than or equal to 2. Let \(h\) be a formal invertible CR mapping from \((M,p)\) to \((M',p')\). Now suppose \((M,p)\) is minimal (at \(p\)), that is to say, if there does not exist a small piece of a complex \((n-1)\)-dimensional manifold passing through \(p\), which is contained in \((M,p)\). Also suppose \((M',p')\) is holomorphically nondegenerate, that is to say, if there does not exist a nonzero holomorphic vector field whose flow stabilizes \((M',p')\). Then the author proves that \(h\) is in fact convergent.