I have encountered the following "Nakayama Lemma" recently: > Let $A$ be a ring and $I$ some finitely generated ideal. Let $\mathcal C_\bullet$ be a chain complex of $I$-(derived) complete $A$-modules, > bounded above by zero. Then $\mathcal C$ is acyclic if > $C\otimes^{\mathbf L}_A A/I$ is acyclic. I have tried to prove it first in the case where $C$ consists of classically $I$-complete $A$-modules, but I encountered some problems. Here is what I tried so far: Suppose, $\mathcal C$ is not acyclic and let $n$ be the greatest integer such that $H_n(C)\neq 0$. We can apply the usual Nakayama Lemma (for separated modules) to the $I$-adic completion $H_n(\mathcal C)^\wedge$ to see that $H_n(\mathcal C)^\wedge \otimes_A A/I\neq 0$. Now I somehow want to use that $H_n(\mathcal C\otimes_A^{\mathbf L} A/I)=H_n(\mathcal C) \otimes_A A/I$ by our choice of $n$ but I have a mental blockage when it comes to relating it to $H_n(\mathcal C)^\wedge \otimes_A A/I$. How do I proceed? How would I proceed in the derived case? Are there any good references to read up on derived completions?