Dado formula_27 un espacio vectorial y formula_30 un subespacio, si la dimensión de "E" es finita entonces: