 On the other hand, according to the Nash-Kuiper theorem, proven in the 1950s, an isometric "C"1 embedding exists.This is solely an existence proof, and does not provide explicit equations for such an embedding.In April 2012, an explicit "C"1 (continuously differentiable) embedding of a flat torus into 3-dimensional Euclidean space R3 was found.