正交测试族与从球面到球的全纯延拓

令 $\mathbb{B}^2$ 表示 $\mathbb{C}^2$ 中的开单位球，并令 $p\in \mathbb{C}^2\setminus\overline{\mathbb{B}^2}$。我们证明：若 $f$ 是球面 $\partial\mathbb{B}^2$ 上的解析函数，且在每个变量上分别可全纯延拓，并沿每条过 $p$ 的复直线也可全纯延拓，则 $f$ 是球内某个全纯函数的迹。