Halla otro orden lógico y válido para los enunciados de la demostración de Penn del problema 7-113. Explica cómo sabes que cambiar el orden de la forma que lo hiciste no afecta la lógica.