La factorización sobre formula_1 usa todos los resultados anteriores más algunas manipulaciones interesantes.