Definimos formula_51 como el vector extendido del vector formula_52.