Hi!

I'm using the theorem stated in the question, but so far, I haven't found a source that does explicitely state and prove or at least give a proper citation. It must be me though, since the theorem seems rather well-established.

So far, I have found [dmoskovich's blog](http://ldtopology.wordpress.com/2011/08/02/a-little-bit-of-purity-is-a-big-thing/) and a few papers by googling that are using the theorem as well.

Any pointers to a source that explicitely states and proves the above theorem are appreciated. I need the citation for my thesis, so I don't think I'm allowed to take any hints on how to actually prove the theorem :)

Thanks!