The statement is:
The proof of the Baire category theorem uses the axiom of choice; in fact, the Baire category theorem is logically equivalent to a weaker version of the axiom of choice called the axiom of dependent choice[?].
The Baire category theorem is used in the proof of the open mapping theorem.
wikipedia.org dumped 2003-03-17 with terodump