Category:Examples of Use of Axiom of Countable Choice