Add a proof to topology.tex

Thanks to Kestutis Cesnavicius
http://stacks.math.columbia.edu/tag/005B#comment-622