B는 $C^N$ 상의 단위구이고 S는 B의 경계라 하고 μ를 S상의 G델타집합 V에 집중된 양의 유한 보렐측도라 하자. φ 는 S에서 양의 실수로 가는 아래로 반 연속인 함수이고 $L^2(μ)$이면 다음과 같은 성질을 갖는 해석함수 g를 찾을 수 있다.
1. 모든 $\zeta\in S$와 모든 $\gamma \in [0,1)$대하여
$l\textrm{g}(\zeta_r)l\_<\phi(\zeta)$
2. 모든 $\zeta\in S$ \V$ 대하여
$\begin{array}{cc}\textrm{sup}\\{r\in[0,1)}\\\end{array}l\textrm{g}(r\zeta)l < \phi(\zeta)$
3. 모든 $\zeta\in V$와 1로 수렴하는 적당한 증가수열 ${r_k}$대하여
$l\textrm{g}(r_k\zeta r)l\to\phi(\zeta)\quad\mu-\textrm{a.e.}$
