**Proof.**
The implication (2) $\Rightarrow $ (1) is trivial. Let $\varphi _ i : U_ i \to X$ be a family of étale morphisms as in (1). Let $\varphi : U \to X$ be an étale morphism from an affine scheme towards $X$. Consider the fibre product diagrams

\[ \xymatrix{ U \times _ X U_ i \ar[r]_-{p_ i} \ar[d]_{q_ i} & U_ i \ar[d]^{\varphi _ i} \\ U \ar[r]^\varphi & X } \quad \quad \xymatrix{ \coprod U \times _ X U_ i \ar[r]_-{\coprod p_ i} \ar[d]_{\coprod q_ i} & \coprod U_ i \ar[d]^{\coprod \varphi _ i} \\ U \ar[r]^\varphi & X } \]

Since $q_ i$ is étale it is open (see Remark 68.4.1). Moreover, the morphism $\coprod q_ i$ is surjective. Hence there exist finitely many indices $i_1, \ldots , i_ n$ and a quasi-compact opens $W_{i_ j} \subset U \times _ X U_{i_ j}$ which surject onto $U$. The morphism $p_ i$ is étale, hence locally quasi-finite (see remark on étale morphisms above). Thus we may apply Morphisms, Lemma 29.57.9 to see the fibres of $p_{i_ j}|_{W_{i_ j}} : W_{i_ j} \to U_ i$ are finite. Hence by Properties of Spaces, Lemma 66.4.3 and the assumption on $\varphi _ i$ we conclude that the fibre of $\varphi $ over $x$ is finite. In other words (2) holds.
$\square$

## Comments (0)