3 ms·Note that this proof doesn't require the axiom of choice, only excluded middle.by ncfavier 1y agoNote that this proof doesn't require the axiom of choice, only excluded middle.