Sea formula_71, formula_17 un vector no nulo .