Parciales

A pesar de haber "completado" la demostración, no pude justificar el ultimo paso (crucial) en cada Paso Inductivo. Es decir justificar que ambos elementos a los lados del igual, son iguales a pesar del conectivo (que es donde se aplica la hip. inductiva)

https://drive.google.com/file/d/0BwVcjOVM0aOcWGlMLXBMSUtXRk0/view?usp=sharing

https://drive.google.com/file/d/0BwVcjOVM0aOcaTM4ck1qZmNGWWs/view?usp=sharing

Alguno se le ocurre como o que deberia hacer para justificar este paso?

Desde ya, muchas gracias, saludos.