Organización lógica de enunciados en una demostración