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?