Principal of mathematical induction