Estimados,
un alumno me hizo ver que hay un error en el paso inductivo. Más precisamente en la hoja 2, en el segundo cambio de variable (i=j):
Pasa de b^(n+1-i) a b^(n-j), cuando debería claramente pasar de b^(n+1-i) a b^(n+1-j).
Disculpas! Cualquier duda a las órdenes.
Saludos,
Nando.