Exercise 13

The proof in the previous problem does not work. But if we modify the “fact,” we can get a working proof. Prove that $n + 3 \lt n + 7$ for all values of $n \in \N$. You can do this proof with algebra (without induction), but the goal of this exercise is to write out a valid induction proof.