Lemma 66.8.4. Let $S$ be a scheme. Let $X$ be a quasi-compact, reasonable algebraic space over $S$. There exist an integer $n$ and open subspaces

$\emptyset = U_{n + 1} \subset U_ n \subset U_{n - 1} \subset \ldots \subset U_1 = X$

with the following property: setting $T_ p = U_ p \setminus U_{p + 1}$ (with reduced induced subspace structure) there exists a separated scheme $V_ p$ and a surjective étale morphism $f_ p : V_ p \to U_ p$ such that $f_ p^{-1}(T_ p) \to T_ p$ is an isomorphism.

Proof. The proof of this lemma is identical to the proof of Lemma 66.8.3. Let $n$ be an integer bounding the degrees of the fibres of $U \to X$ which exists as $X$ is reasonable, see Definition 66.6.1. Then we see that $U_{n + 1} = \emptyset$ and the proof is complete. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).