In this paper Atiyah, Bott and Shapiro discuss the alternative description of K-theory in terms of sequences of vector bundles. I would like to understand the details of this alternative description and I came across the following question while reading this paper:

In the proof of Lemma 7.3 authors claim that (using the notation from the paper) if we take two monomorphic extensions $\sigma_{n+1}',\sigma_{n+1}''$ of $\sigma_{n+1}$ then $E_n' \cong E_n''$ where $E_n'$ and $E_n''$ are cokernels of $\sigma_{n+1}'$ and $\sigma_{n+1}''$. It is true that these two extensions are homotopic rel $Y$ (this follows from the previous lemma). How does it follow that $E_n' \cong E_n''$?

.

In Atiyah, Bott, and Shapiro - Clifford modules (journal, MSN), the authors discuss the alternative description of K-theory in terms of sequences of vector bundles. I would like to understand the details of this alternative description and I came across the following question while reading this paper:

In the proof of Lemma 7.3 authors claim that (using the notation from the paper) if we take two monomorphic extensions $\sigma_{n+1}',\sigma_{n+1}''$ of $\sigma_{n+1}$ then $E_n' \cong E_n''$ where $E_n'$ and $E_n''$ are cokernels of $\sigma_{n+1}'$ and $\sigma_{n+1}''$. It is true that these two extensions are homotopic rel $Y$ (this follows from the previous lemma). How does it follow that $E_n' \cong E_n''$?

.