Nach dem Beweis zu Fakt wird f {\displaystyle {}f} auf U {\displaystyle {}U} durch eine konvergente Potenzreihe beschrieben. Diese besitzt nach Fakt eine Stammfunktion.