Sustituimos en la expresión para formula_10, concluyendo nuevamente