no tienen necesariamente el mismo resultado, para un operador de producto formula_3.