Category:Examples of Use of Axiom of Dependent Choice