This is of course folklore. I believe there is a proof (essentially) in Johnstone's Stone Spaces. I have written out a proof for students in chapter 1 of my "Basic Category Theory" notes; see http://www.math.uu.nl/people/jvoosten/onderwijs.html Jaap van Oosten