Donde formula_7 es un producto interno de formula_1.