Es sei
ein offener Ball und sei f:U→ℂ eine holomorphe Funktion.
Dann besitzt f eine Stammfunktion auf U.