raw/concept/kbhproof_by_induction.md history