#Help on induction proofs

4 messages · Page 1 of 1 (latest)

strange bough
#

So I need to prove that
0 + n = n
and
n + succ(m) = succ(m + n)

#

I'm stuck on the second part of the proofs

#

On proving 0 + n = n, 0 + 0 is clearly 0

#

But how do I deal with 0 + succ(k)?