Notemos, la sustitución formula_134 que ayuda en la factorización anterior.