Isometric embedding

Summary