wiki/concepts/proof_by_induction.md history