Lemma 47.13.2. Let $A \to B \to C$ be ring maps. Then $R\mathop{\mathrm{Hom}}\nolimits (C, -) \circ R\mathop{\mathrm{Hom}}\nolimits (B, -) : D(A) \to D(C)$ is the functor $R\mathop{\mathrm{Hom}}\nolimits (C, -) : D(A) \to D(C)$.

Proof. Follows from uniqueness of right adjoints and Lemma 47.13.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).