Como formula_12, se llega finalmente a: