Coq exercise.
Induction simple exercises.