Redirecting to Andreotti–Frankel theorem