Heh. Someone once told me "you don't do it with an axe". And in fact you don't do it at all without the axiom of choice. Which sounds reasonable until you realize that it implies that the real numbers can be well-ordered. Which is, indirectly, what this proof takes advantage of.