Methods of Homological Algebra
《Methods of Homological Algebra》 · 第 120 页 · Chapter II, Section 5.6
In a commutative diagram of two exact five-term rows, if the first vertical map is epic, the fifth monic, and the second and fourth are isomorphisms, then the middle map is an isomorphism.