Es sei
eine kurze exakte Sequenz von Garben von kommutativen Gruppen auf einem topologischen Raum X {\displaystyle {}X} .
Dann liegt eine lange exakte Sequenz
vor.