Formel (1) im folgenden Satz:

Es sei G ⊂ ℂ ein Gebiet, f eine in G holomorphe Funktion und γ ein nullhomologer Weg in G. Dann gilt für n ∈ ℕ₀und z ∈ G \ γ

\begin{eqnarray}f(z)=\frac{1}{2\pi i}\displaystyle \mathop{\int }\limits_{\gamma }\frac{f(\varrho )}{\varrho -z}d\varrho, \end{eqnarray}

Wählt man in Formel (1) speziell n = 0, für γ eine Kreislinie mit Mittelpunkt z₀ ∈ G und Radius r > 0 und z = z₀, so ergibt sich die sog. Mittelwertgleichung

\begin{eqnarray}f({z}_{0})=\frac{1}{2\pi }\displaystyle \underset{0}{\overset{2\pi }{\int }}f({z}_{0}+r{e}^{it})dt.\end{eqnarray}

Die Formel (1) gilt allgemeiner auch für nullhomologe Zyklen.