Update proof_by_induction.md