Es sei φ : U → C {\displaystyle {}\varphi \colon U\rightarrow {\mathbb {C} }} eine holomorphe Funktion, P ∈ U {\displaystyle {}P\in U} und Q = φ ( P ) {\displaystyle {}Q=\varphi (P)} . Zeige, dass der Ringhomomorphismus zwischen den Keimen von holomorphen Funktionen (siehe Aufgabe)
mit dem Einsetzungshomomorphismus
zwischen den Ringen der konvergenten Potenzreihen