En vista de esto, tenemos la definición de la multiplicación en formula_3: