In a commutative diagram

with exact rows, f0, f1, f3, f4 isomorphisms imply f2 an isomorphism.