Lemma 90.8.5. Let $A \to B \to C$ be ring maps such that $L_{C/B} = 0$. Then $L_{C/A} = L_{B/A} \otimes _ B^\mathbf {L} C$.

Proof. This is a trivial consequence of the distinguished triangle (90.7.0.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).