La conclusión es que no puede serlo sobre formula_12, por lo que discutiremos a continuación.