Una de las aplicaciones más interesantes sobre esta equivalencia del axioma de elección al álgebra lineal es el siguiente enunciado: