Llamamos largo del vector formula_2 al número real simbolizado por formula_206 y definido como