Lemma 13.30.3. Let $F : \mathcal{A} \to \mathcal{B}$ and $G : \mathcal{B} \to \mathcal{A}$ be functors of abelian categories such that $F$ is a right adjoint to $G$. If the derived functors $RF : D(\mathcal{A}) \to D(\mathcal{B})$ and $LG : D(\mathcal{B}) \to D(\mathcal{A})$ exist, then $RF$ is a right adjoint to $LG$.

Proof. Immediate from Lemma 13.30.2. $\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).