Redirecting to Nash's theorem