La dualidad entre formula_7 y formula_15 también debe ser compatible con el producto de formula_8, en el sentido de que: