Products, the Baire category theorem, and the axiom of dependent choice