In a commutative diagram

with exact rows, ${f}_{0}$, ${f}_{1}$, ${f}_{3}$, ${f}_{4}$ isomorphisms imply ${f}_{2}$ an isomorphism.