Nash embedding theorem

Summary