fundamentaler Satz der Funktionentheorie, der wie folgt lautet:

Es sei G ⊂ ℂ ein Gebiet und f, g holomorphe Funktionen in G. Dann sind die folgenden Aussagen äquivalent:

1. Es gilt f (z) = g(z) für alle z ∈ G.
2. Die Menge {w ∈ G : f (w) = g (w)} besitzt einen Häufungspunkt in G.
3. Es existiert ein z₀ ∈ G derart, daß f⁽ⁿ⁾(z₀) = g⁽ⁿ⁾(z₀) für alle n ∈ ℕ₀.