Komplex-analytische Funktion/Eine Variable/Differenzierbarkeit/Fakt

Eine komplex-analytische Funktion ${\displaystyle {}f\colon U\rightarrow {\mathbb {C} }}$ auf einer offenen Menge

ist unendlich oft komplex differenzierbar.