Fix typo in derived

THanks to Elías Guisado Villalgordo
https://stacks.math.columbia.edu/tag/05R8#comment-8348

derived.tex

@@ -1589,7 +1589,7 @@ \section{Localization of triangulated categories}
 Hence (1) $\Rightarrow$ (5). Dually (1) $\Rightarrow$ (6).
 Finally, if $0 \to Z$ is in $S$, then the triangle
 $(0, Z, Z, 0, \text{id}_Z, 0)$ is distinguished by TR1 and TR2 and
-is a triangle as in (4).
+is a triangle as in (7).
 \end{proof}
 
 \begin{lemma}