RE: mathematical induction