El cual no se puede demostrar sin el principio maximal, aunque para espacios vectoriales de dimensión finita (como formula_1) no es necesario.