Aceptando el axioma de elección, se obtiene el siguiente teorema (que de hecho es equivalente):