Hola.
Yo compro... pero no creo que haya quedado tan distinto....
La parte 2 de Uds, es la demostración por inducción que se hace en la solución.
Los items finales corresponden a la demostración de que si es teoria y tiene una unica valuacion (si, claro... se trabaja con la valuación concreta, pero la estrategia es la misma) es CM.
Así que tan diferente, no es...
Saludos
FDO.