Redirecting to Dvoretzky's theorem