[emil-lp]

I'm not sure your choice is the best. Axiom of choice is an axiom, not a theorem. In addition, axiom of choice is frequently stated (contrary to most other axioms) in proofs and assumptions.