Induction proofs — Discrete Structures | Lykke