Stark induktion

Hej!

Skulle behöva lite hjälp med den här uppgiften. Jag har ingen facit och vet därför inte om den är rätt eller ej, men det känns som att jag gör något konstigt mot slutet. Uppskattar om någon kunde peka ut vad som är fel :) (uppgift: Beöver bara bevisa den rekursiva funktionen. )

tack på förhand!