Dado formula_8 un subespacio vectorial, se tiene: