Redirecting to Whitney embedding theorem