Élie Cartan
"C"1 定理は1954年に、"Ck" 定理は1956年に出版された。実解析的な定理は最初ナッシュにより1966年に扱われた。彼の議論は により非常に簡素化された。（この結果の局所版は、1920年代にエリ・カルタン (Élie Cartan) と (Maurice Janet) により証明された。）実解析的な場合は、ナッシュの逆関数の議論における smoothing operator（以下を参照）を、コーシーの評価に取り替えることができる。"Ck" の場合のナッシュの証明は、後に、 (h-principle) や (Nash–Moser implicit function theorem) へ拡張された。第二のナッシュの埋め込み定理の簡素化された証明は、 により得られた。彼は非線型偏微分方程式系を楕円系に帰着させ、が適用できるようにした。