Determination of formal CR mappings by a finite jet

We prove that if M is a connected real-analytic holomorphically nondegenerate hypersurface in Cn+1, then for any point p∈M there exists an integer k such that any two germs at p of local biholomorphic mappings that send M into itself and whose k-jets agree at p are identical.The above is a special case of a more general theorem stated for formal hypersurfaces that gives a finite jet determination result for the class of formal mappings whose Jacobian determinant does not vanish identically.