induction proof typo. thanks yue