Lemma 58.20.7. In Situation 58.19.1. Let $V$ be finite étale over $U$. Assume

$A$ has depth $\geq 3$,

$V_0 = V \times _ U U_0$ is equal to $Y_0 \times _{X_0} U_0$ for some $Y_0 \to X_0$ finite étale.

Then $V = Y \times _ X U$ for some $Y \to X$ finite étale.

## Comments (0)