A local embedding of this theorem can be proved using the implicit function theorem of advanced calculus; the proof of the embedding theorem as presented here relies on Nash's far-reaching generalization of the implicit function theorem.
A local embedding theorem is much simpler and can be proved using the implicit function theorem of advanced calculus. The proof of the global embedding theorem as presented here relies on Nash's far-reaching generalization of the implicit function theorem.