Para formula_2 e formula_3, dos números complejos, con sus partes reales positivas, consideremos el producto formula_4: