The beginning of a mathematical induction