Formel (1) im folgenden Satz.

Es sei f eine in \({\mathbb{E}}=\{z\in {\mathbb{C}}:|z|\lt 1\}\)holomorphe Funktion mit f(0) ≠ 0. Weiter sei 0 < r< 1, und a₁,…,a_n seien die Nullstellen von f in B_r(0) = { z ∈ ℂ : |z| < r}, wobei jede Nullstelle so oft aufgeführt wird wie ihre Nullstellenordnung angibt. Dann gilt\begin{eqnarray}\mathrm{log}|f(0)|+\mathop{\sum ^{n}}\limits_{k=1}\mathrm{log}\frac{r}{|{a}_{k}|}=\frac{1}{2\pi }\mathop{\mathop{\int }\limits^{2\pi }}\limits_{0}\mathrm{log}|f(r{e}^{it})|\,dt.\end{eqnarray}

Dabei steht rechts ein uneigentliches Integral, falls f auf ∂B_r(0) Nullstellen besitzt.