Este valor sólo es formula_12, lo que termina la demostración.