**Proof.**
This is true because impurities go up along a flat base change, see Lemma 76.2.4. For example part (1) follows because by any impurity $(T \to Y, t' \leadsto t, \xi )$ of $\mathcal{F}$ above $y$ with $T \to Y$ quasi-finite at $t$ by the lemma leads to an impurity $(T_1 \to Y_1, t_1' \leadsto t_1, \xi _1)$ of the pullback $\mathcal{F}_1$ of $\mathcal{F}$ to $X_1 = Y_1 \times _ Y X$ over $y_1$ such that $T_1$ is étale over $Y_1 \times _ Y T$. Hence $T_1 \to Y_1$ is quasi-finite at $t_1$ because étale morphisms are locally quasi-finite and compositions of locally quasi-finite morphisms are locally quasi-finite (Morphisms of Spaces, Lemmas 66.39.5 and 66.27.3). Similarly for part (2).
$\square$

## Comments (0)