Change language

Thanks to M
https://stacks.math.columbia.edu/tag/02II#comment-8461

algebra.tex

@@ -27173,8 +27173,8 @@ \section{The dimension formula}
 \end{lemma}
 
 \begin{proof}
-Suppose that $R \subset S' \subset S$ is a finitely generated $R$-subalgebra
-of $S$. In this case set $\mathfrak q' = S' \cap \mathfrak q$.
+Suppose that $R \subset S' \subset S$, where $S'$ is a finitely generated
+$R$-subalgebra of $S$. In this case set $\mathfrak q' = S' \cap \mathfrak q$.
 The lemma for the ring maps $R \to S'$ and $S' \to S$ implies the
 lemma for $R \to S$ by additivity of transcendence degree in towers
 of fields (Fields, Lemma \ref{fields-lemma-transcendence-degree-tower}).