As shown in the figure, $A_i $, $B_i$ and $C_i $on the left are all chain complexes, which make up 3 × 3 short exact sequences. Is the diagram on the right necessarily commutative?
($\partial $ is the homologous edge operator derived from snake lemma)