Redirecting to Lefschetz hyperplane theorem