Answer:
any sum of the form m+n′, either n′ is equal to 0, in which case the first clause applies, and the sum can be evaluated immediately, or n′ is the successor s(n) of some natural number n, in which case the second clause applies, and we can compute the sum in terms of a strictly simpler sum.
Explanation:
I hope that helps