Sea formula_187 un espacio vectorial de dimensión formula_188.