En un espacio de dimensión finita, si formula_18 es una base, obtenemos la relación de clausura