Let X be a connected K-complete normal complex space. If for every closed discrete set A in X there exists a family $\mathcal{F}$ of holomorphic functions on X such that $N\left(\mathcal{F}\right)=A$, then the K-envelope $H\left(X\right)$ of holomorphy of X in the sense of Kerner (Math Ann. 1959;138:316–328) coincides with X.

中文翻译：

---

Kühnel 定理在全局定义解析集上的推广

设X是一个连通的K -完备正规复空间。如果对于X 中的每个闭合离散集合A都存在一个族$\mathcal{F}$X上的全纯函数使得$N\left(\mathcal{F}\right)=\mathrm{一种}$，那么K包络$H\left(X\right)$的holomorphy X在Kerner的意义上（数学安1959; 138：316-328）与一致X。