Repeated unfolding + induction

Exercise for Assignment 3

1 rec. eq. to solve using rep. unfolding + induction.

Creator: @kevinchong
Reviewer: @mpsijm