What is the principle of mathematical induction?