https://datadosen.com/yo/Nash_embedding_theorem