Redirecting to Nash embedding theorem