Redirecting to Menger's theorem