ANNOTATED-CSE20-Lec-17-Proofs-by-Induction.pdf