En otras palabras, formula_1 con la definición de producto interior siguiente: