The Stacks project

Proof. Pick a $\Lambda /I^ n$-module $M_ n$ such that $\mathcal{F}/I^ n\mathcal{F} \cong \underline{M_ n}$. Since we have the surjections $\mathcal{F}/I^{n + 1}\mathcal{F} \to \mathcal{F}/I^ n\mathcal{F}$ we conclude that there exist surjections $M_{n + 1} \to M_ n$ inducing isomorphisms $M_{n + 1}/I^ nM_{n + 1} \to M_ n$. Fix a choice of such surjections and set $M = \mathop{\mathrm{lim}}\nolimits M_ n$. Then $M$ is an $I$-adically complete $\Lambda$-module with $M/I^ nM = M_ n$, see Algebra, Lemma 10.98.2. Since $M_1$ is a finite type $\Lambda$-module (Modules on Sites, Lemma 18.42.5) we see that $M$ is a finite $\Lambda ^\wedge$-module. Consider the sheaves

on $X_{pro\text{-}\acute{e}tale}$. Modding out by $I^ n$ defines a transition map

By our choice of $M_ n$ the sheaf $\mathcal{I}_ n$ is a torsor under

(Modules on Sites, Lemma 18.43.4) since $\mathcal{F}/I^ n\mathcal{F}$ is (étale) locally isomorphic to $\underline{M_ n}$. It follows from More on Algebra, Lemma 15.100.4 that the system of sheaves $(\mathcal{I}_ n)$ is Mittag-Leffler. For each $n$ let $\mathcal{I}'_ n \subset \mathcal{I}_ n$ be the image of $\mathcal{I}_ N \to \mathcal{I}_ n$ for all $N \gg n$. Then

is a sequence of sheaves of sets on $X_{pro\text{-}\acute{e}tale}$ with surjective transition maps. Since $*(X)$ is a singleton (not empty) and since evaluating at $X$ transforms surjective maps of sheaves of sets into surjections of sets, we can pick $s \in \mathop{\mathrm{lim}}\nolimits \mathcal{I}'_ n(X)$. The sections define isomorphisms $\underline{M}^\wedge \to \mathop{\mathrm{lim}}\nolimits \mathcal{F}/I^ n\mathcal{F} = \mathcal{F}$ and the proof is done. $\square$