We have seen that $S^{-1}\mathcal{D}$ is an additive category and that the localization functor $Q$ is additive in Homology, Lemma \ref{homology-lemma-localization-additive}. It is clear that we may define $Q(X)[n] = Q(X[n])$ since $\mathcal{S}$ is preserved under the shift functors $[n]$ by MS5. Finally, we say a triangle of $S^{-1}\mathcal{D}$ is distinguished if it is isomorphic to the image of a distinguished triangle under the localization functor $Q$. \medskip\noindent Proof of TR1. The only thing to prove here is that if $a : Q(X) \to Q(Y)$ is a morphism of $S^{-1}\mathcal{D}$, then $a$ fits into a distinguished triangle. Write $a = Q(s)^{-1} \circ Q(f)$ for some $s : Y \to Y'$ in $S$ and $f : X \to Y'$. Choose a distinguished triangle $(X, Y', Z, f, g, h)$ in $\mathcal{D}$. Then we see that $(Q(X), Q(Y), Q(Z), a, Q(g) \circ Q(s), Q(h))$ is a distinguished triangle of $S^{-1}\mathcal{D}$. \medskip\noindent Proof of TR2. This is immediate from the definitions. \medskip\noindent Proof of TR3. Note that the existence of the dotted arrow which is required to exist may be proven after replacing the two triangles by isomorphic triangles. Hence we may assume given distinguished triangles $(X, Y, Z, f, g, h)$ and $(X', Y', Z', f', g', h')$ of $\mathcal{D}$ and a commutative diagram $$ \xymatrix{ Q(X) \ar[r]_{Q(f)} \ar[d]_a & Q(Y) \ar[d]^b \\ Q(X') \ar[r]^{Q(f')} & Q(Y') } $$ in $S^{-1}\mathcal{D}$. Now we apply Categories, Lemma \ref{categories-lemma-left-localization-diagram} to find a morphism $f'' : X'' \to Y''$ in $\mathcal{D}$ and a commutative diagram $$ \xymatrix{ X \ar[d]_f \ar[r]_k & X'' \ar[d]^{f''} & X' \ar[d]^{f'} \ar[l]^s \\ Y \ar[r]^l & Y'' & Y' \ar[l]_t } $$ in $\mathcal{D}$ with $s, t \in S$ and $a = s^{-1}k$, $b = t^{-1}l$. At this point we can use TR3 for $\mathcal{D}$ and MS6 to find a commutative diagram $$ \xymatrix{ X \ar[r] \ar[d]^k & Y \ar[r] \ar[d]^l & Z \ar[r] \ar[d]^m & X[1] \ar[d]^{g[1]} \\ X'' \ar[r] & Y'' \ar[r] & Z'' \ar[r] & X''[1] \\ X' \ar[r] \ar[u]_s & Y' \ar[r] \ar[u]_t & Z' \ar[r] \ar[u]_r & X'[1] \ar[u]_{s[1]} } $$ with $r \in S$. It follows that setting $c = Q(r)^{-1}Q(m)$ we obtain the desired morphism of triangles $$ \xymatrix{ (Q(X), Q(Y), Q(Z), Q(f), Q(g), Q(h)) \ar[d]^{(a, b, c)} \\ (Q(X'), Q(Y'), Q(Z'), Q(f'), Q(g'), Q(h')) } $$ \medskip\noindent This proves the first statement of the lemma. If $\mathcal{D}$ is also a triangulated category, then we still have to prove TR4 in order to show that $S^{-1}\mathcal{D}$ is triangulated as well. To do this we reduce by Lemma \ref{lemma-easier-axiom-four} to the following statement: Given composable morphisms $a : Q(X) \to Q(Y)$ and $b : Q(Y) \to Q(Z)$ we have to produce an octahedron after possibly replacing $Q(X), Q(Y), Q(Z)$ by isomorphic objects. To do this we may first replace $Y$ by an object such that $a = Q(f)$ for some morphism $f : X \to Y$ in $\mathcal{D}$. (More precisely, write $a = s^{-1}f$ with $s : Y \to Y'$ in $S$ and $f : X \to Y'$. Then replace $Y$ by $Y'$.) After this we similarly replace $Z$ by an object such that $b = Q(g)$ for some morphism $g : Y \to Z$. Now we can find distinguished triangles $(X, Y, Q_1, f, p_1, d_1)$, $(X, Z, Q_2, g \circ f, p_2, d_2)$, and $(Y, Z, Q_3, g, p_3, d_3)$ in $\mathcal{D}$ (by TR1), and morphisms $a : Q_1 \to Q_2$ and $b : Q_2 \to Q_3$ as in TR4. Then it is immediately verified that applying the functor $Q$ to all these data gives a corresponding structure in $S^{-1}\mathcal{D}$