On Mathematical Induction