Chapter 13 Exercises Exercise 1 Define a function called nOrSuccnIsEven that states and proves that for all Nats n, either n is Even or n+1 is Even.