definiendo formula_12 como