A stronger hypothesis
In strong induction you assume , , are all true, then prove .
Use it when the next case depends on cases further back, not only on the previous one.
You still need a base case. If a step reaches back several cases, you need several base cases.