El argumento anterior usa el axioma de elección de forma descarada justo al inicio, al darle un buen orden a los reales.