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
Comments (0)