要简单得多，可以在流形的座标邻域中用高等微积分的隐函数定理证明。这里给出的全局嵌入定理的证明依赖于纳什对隐函数定理的极大推广版本，Nash-Moser定理和带后处理(postconditioning)的牛顿法(见参考)。纳什解决嵌入问题的基本思想是采用牛顿法来证明该PDE系统有解。标准的牛顿法应用于该系统时不收敛，所以纳什利用光滑化算子来保证牛顿循环收敛。这个改变了的牛顿法成为带后处理的牛顿法。平滑算子由卷积定义。该平滑算子保证了循环的趋向于一个根，使得它可以用来作为存在性定理。通过证明PDE系统存在一个根