О теореме Лефшеца для дополнения к кривой в $P^2$

Пусть $\bar E$ – неприводимая плоская кривая над полем комплексных чисел $\mathbf C$, $\widetilde\nu\colon\widetilde E\to E\subset\mathbf P^2$ – морфизм нормализации, и пусть $\bar D$ – произвольная кривая в $\mathbf P^2$, $\bar E\not\subset\bar D$. Центральным результатом является теорема о том, что если $\bar E$ и $\bar D$ пересекаются трансверсально, то $\widetilde\nu_*\colon\pi_1(\widetilde E\setminus\widetilde\nu^{-1}(\bar E\cap\bar D))\to\pi(\mathbf P^2\setminus\bar D)$ является эпиморфизмом.