Lemma 22.31.1. The functor (22.31.0.1) defines an exact functor $K(\text{Mod}_{(B, \text{d})}) \to K(\text{Mod}_{(A, \text{d})})$ of triangulated categories.

Proof. Via Lemma 22.30.1 and Remark 22.30.2 this follows from the general principle of Lemma 22.27.17. $\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).