Axiom of Choice

Non-Constant Function