Eine komplex-analytische Funktion f : U → C {\displaystyle {}f\colon U\rightarrow {\mathbb {C} }} auf einer offenen Menge
ist unendlich oft komplex differenzierbar.