Theorem
The principle of mathematical induction
Statement
If a statement holds for 1 and its truth at n forces its truth at n+1, it holds for every natural number.
If a statement holds for 1 and its truth at n forces its truth at n+1, it holds for every natural number.