https://datadosen.com/sh/Nash_embedding_theorem