### Adding 1 is the successor

Step by step one goes far. – Dutch proverb

To solve this one you will need to remember that the number 1 is
defined to be the successor of 0. It’s a nice short proof and a break
from using induction, but you may have to use the “More” menu to find
the fact that `1 = succ 0`

, which is our definition of 1.

#### ➭ **Next**

**Next**