formula_21 es un espacio vectorial sobre el campo formula_22