Die Exaktheit der ersten Zeile ist Fakt, die Exaktheit der zweiten Zeile ist Fakt. Zu einer Funktion f ∈ H 0 ( X , E ) {\displaystyle {}f\in H^{0}(X,{\mathcal {E}})} ist nach Fakt (3)
da ja die holomorphe Form geschlossen ist.