Axiom of Choice

Isolating the Variable