Incomplete proof in topology.tex

Thanks to Wei Xu
http://stacks.math.columbia.edu/tag/005F#comment-636