Estrategias de optimización para las demostraciones: como simplificar los argumentos y utilizar teoremas conocidos.