formula_7, base dual de formula_2, definida por: formula_9.