Resolve "1 rec. equations to solve using repeated unfolding + induction"

A rather simple rec. equation, I noticed during the grading of week 2, that some students didn't understand that there can be other variables in the rec. equation. Which is why this rec. equation has the extra variable m. 😛

Also base case not being just some constant. 😄

Closes #92 (closed)