Se quiere probar que formula_61 es un espacio vectorial sobre formula_62