formula_10, base dual de formula_3, definida por: formula_12