La prueba del teorema utiliza el axioma de elección; y de hecho, es lógicamente equivalente a una versión débil del axioma de elección llamada el axioma de elección dependiente.