Wir betrachten die zur kurzen exakten Garbensequenz
zugehörige lange exakte Kohomologiesequenz enthält
Nach Aufgabe in Verbindung mit Aufgabe ist H 1 ( X , T ) = 0 {\displaystyle {}H^{1}(X,{\mathcal {T}})=0} . Nach dem Beweis zu Fakt ist
surjektiv. Also ist