Lemma 15.78.4. With notation as in Lemma 15.78.3 the long exact cohomology sequence associated to the distinguished triangle breaks up into short exact sequences

$0 \to R^1\mathop{\mathrm{lim}}\nolimits _ n H^{p - 1}(K_ n^\bullet ) \to H^ p(R\mathop{\mathrm{lim}}\nolimits K) \to \mathop{\mathrm{lim}}\nolimits _ n H^ p(K_ n^\bullet ) \to 0$

of $A$-modules.

Proof. The proof is exactly the same as the proof of Lemma 15.77.7 using Lemma 15.78.1 in stead of Lemma 15.77.1. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).