mathematical induction

form of mathematical proof