Lemma 69.6.10. Notation and assumptions as in Situation 69.6.1. If

1. $f$ is a isomorphism,

2. $f_0$ is locally of finite presentation,

then $f_ i$ is a isomorphism for some $i \geq 0$.

Proof. Being an isomorphism is equivalent to being étale, universally injective, and surjective, see Morphisms of Spaces, Lemma 66.51.2. Thus the lemma follows from Lemmas 69.6.2, 69.6.4, and 69.6.5. $\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).