Math 141 9.4A Principle of mathematical induction