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.