Induction proofs' exercise list