The Stacks project

Proof. Let $L^\bullet $ be an acyclic complex of $R$-modules. Let $\xi \in H^ n(\text{Tot}(L^\bullet \otimes _ R P^\bullet ))$. We have to show that $\xi = 0$. Since $\text{Tot}^ n(L^\bullet \otimes _ R P^\bullet )$ is a direct sum with terms $L^ a \otimes _ R P^ b$ we see that $\xi $ comes from an element in $H^ n(\text{Tot}(\tau _{\leq m}L^\bullet \otimes _ R P^\bullet ))$ for some $m \in \mathbf{Z}$. Since $\tau _{\leq m}L^\bullet $ is also acyclic we may replace $L^\bullet $ by $\tau _{\leq m}L^\bullet $. Hence we may assume that $L^\bullet $ is bounded above. In this case the spectral sequence of Homology, Lemma 12.25.3 has

which is zero as $P^ q$ is flat and $L^\bullet $ acyclic. Hence $H^*(\text{Tot}(L^\bullet \otimes _ R P^\bullet )) = 0$. $\square$