Modul/Exakter Komplex und injektive Auflösung/Homotopie/Fakt

Es sei ein -Modul über einem kommutativen Ring . Es sei

ein exakter Komplex und es sei

ein Komplex, wobei die Moduln injektiv seien. Es seien

Homomorphismen von Kettenkomplexen.

Dann sind und homotop.