y se obtiene formula_929 por sustitución.