Mejora de la legibilidad de la demostración: clarificación de la estructura lógica