General

Igual, por las dudas, quería dejar claro que eso no tiene mucho que ver con el ejercicio en sí mismo.

Para resolver el ejercicio hay que hacer la prueba inductiva de la propiedad que se pide, con la implementación dada.

saludos