Haciendo el cambio formula_20, se obtiene: