Do you know where I can find proof of equivalence Baire Category Theorem and DC (Axiom of Dependent Choice)? It is well known fact but I can't find appropriate literature with the proof.