Adding to the successor of a number

A key fact for proving the commutativity of addition. You will want to use induction yet again!

Next