Gebiet/Einfach zusammenhängend/Ohne Punkte/Exponentialkomplex/Differentialformkomplex/Residuum/Fakt/Beweis

Beweis

Die Abbildungen sind wohldefiniert, da nach Fakt  (2) die Windungszahltupel stets ganzzahlig sind. Die Kommutativität des dritten Quadrats ergibt sich aus Aufgabe, die Kommutativität des vierten Quadrats folgt aus Fakt in Verbindung mit Fakt, angewendet auf jeden einzelnen Punkt . Die Exaktheit der zweiten Zeile ist Fakt. Die Exaktheit der ersten Zeile in ist eine Umformulierung von Fakt  (2). Zum Nachweis der Exaktheit in sei zunächst mit holomorph auf . Nach Aufgabe ist die logarithmische Ableitung von gleich und deren Residuen sind gleich , was sich auf die Windungszahlen überträgt. Es sei nun derart, dass die Windungszahlen, also die Residuen der logarithmischen Ableitung , gleich sind. Es ist zu zeigen, dass es eine holomorphe Funktion auf gibt mit . Wegen der Residueneigenschaft und der Exaktheit der zweiten Zeile gibt es eine holomorphe Funktion mit

Es haben dann und die gleiche logarithmische Ableitung. Durch Addition einer Konstanten zu können wir ferner davon ausgehen, dass und in einem bestimmten Punkt den gleichen Wert besitzen. Dann ist eine Funktion, deren logarithmische Ableitung gleich ist. Dann ist nach Aufgabe auch die Ableitung von gleich und wegen der Übereinstimmung in einem Punkt folgt

also . Die logarithmische Ableitung von ist und die zugehörigen Residuen sind , deshalb ist die letzte Abbildung oben auch surjektiv.