Es sei
eine
Garbe
von
kommutativen Gruppen
auf einem
topologischen Raum
und es sei eine azyklische Auflösung von mit zugehörigen kurzen exakten Sequenzen
-
gegeben. Es sei
eine
offene Überdeckung
mit
für alle nichtleeren Teilmengen
und alle
und
.
Dann ist
-