**Proof.**
Let $F = U/R$ be a presentation of $F$. As in the proof of Lemma 63.10.4 the diagram

\[ \xymatrix{ R \ar[r] \ar[d]_ j & F \ar[d]^\Delta \\ U \times _ S U \ar[r] & F \times F } \]

is cartesian. Hence according to Lemma 63.11.4 it suffices to show that $j$ has the properties listed in the lemma. (Note that each of the properties (1) – (4) occur in the lists of Remarks 63.4.1 and 63.4.3.) Since $j$ is an equivalence relation it is a monomorphism. Hence it is separated by Schemes, Lemma 26.23.3. As $R$ is an étale equivalence relation we see that $s, t : R \to U$ are étale. Hence $s, t$ are locally of finite type. Then it follows from Morphisms, Lemma 29.15.8 that $j$ is locally of finite type. Finally, as it is a monomorphism its fibres are finite. Thus we conclude that it is locally quasi-finite by Morphisms, Lemma 29.20.7.
$\square$

## Comments (1)

Comment #3836 by slogan_bot on