Redirecting to Leray's theorem