Dies folgt aus der Exaktheit des Komplexes (siehe Fakt)
aus Fakt und aus der langen exakten Kohomologiesequenz.