Proposition 61.29.7. Let $X$ be a Noetherian scheme. Let $\Lambda$ be a Noetherian ring and let $I \subset \Lambda$ be an ideal. Let $K$ be an object of $D_{cons}(X, \Lambda )$. Then $K$ is adic constructible (Definition 61.29.4).

Proof. This is a consequence of Lemma 61.29.6 and the fact that a Noetherian scheme is locally connected (Topology, Lemma 5.9.6), and the definitions. $\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).