This property is closely related to the , which is often used to optimize dynamic programming algorithms from 2. Fundamental Proof Techniques
A common "Stefani Problem" involves proving identities of Fibonacci numbers, such as:
Proving a base case and showing the property holds for if it holds for