https://123dok.net/document/yr36rp97-a-general-embedding-theorem-in-formal-geometry.html