No sé a qué sustitución te referís
Está bien lo que hiciste (en una parte debería decir y dice , fuera de eso está bien).
Igualmente fijate que lo quisiste probar por inducción y en ningún lado usaste la hipótesis inductiva, o sea, no hace falta la inducción para probarlo.