It's widely known$^{1}$ that in the proof of Urysohn's Lemma (UL) one uses the Principle of Dependent Choice (DC). Inspired by the equivalence between DC and Baire's Category Theorem$^{2}$, I'd like to know if Urysohn's Lemma implies Dependent Choice, i.e.,
$ZF + DC \leftrightarrow ZF + UL$.
References:
(1.) Thomas Jech, The Axiom of Choice, Dover Publications, 2008, ISBN-13: 978-0486466248.
(2.) Charles Blair, The Baire category theorem implies the principle of dependent choices, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys., v. 25 n. 10 (1977), pp. 933–934.