Talk:Andreotti–Frankel theorem