The Stacks project

Proof. The base change of the factorization $Y_1 \to X_1' \to X_1$ to $X_2$ is a factorization $Y_2 \to X_2 \times _{X_1} X_1' \to X_2$ and $X_2 \times _{X_1} X_1' \to X_2$ is integral (Morphisms, Lemma 29.44.6). Hence we get a morphism $h : X_2' \to X_2 \times _{X_1} X_1'$ by the universal property of Morphisms, Lemma 29.53.4. Observe that $X_2'$ is the relative spectrum of the integral closure of $\mathcal{O}_{X_2}$ in $f_{2, *}\mathcal{O}_{Y_2}$. If $\mathcal{A}' \subset f_{1, *}\mathcal{O}_{Y_1}$ denotes the integral closure of $\mathcal{O}_{X_1}$, then $X_2 \times _{X_1} X_1'$ is the relative spectrum of $\varphi ^*\mathcal{A}'$, see Constructions, Lemma 27.4.6. By Cohomology of Schemes, Lemma 30.5.2 we know that $f_{2, *}\mathcal{O}_{Y_2} = \varphi ^*f_{1, *}\mathcal{O}_{Y_1}$. Hence the result follows from Lemma 37.19.1. $\square$