Error in statement lemma and proof in topology.tex

Need to say "closed in constructible topology"

Thanks to Zhang
http://stacks.math.columbia.edu/tag/09XW#comment-1161