Theorem 6.5: (The Identity Property for Addition of Natural Numbers) Let n be a natural number. Then

n + 0 = n

Proof: n + 0 is the number you get after you have applied the successor function to n 0 times. But if you do anything 0 times, then you haven't done anything, and you are still at n.