> [!NOTE] Theorem (Recursion) > A recursively defined function exist >Proof. Use [[Induction Principle]]. # Applications **Algorithms**: [[Memoization]]; [[Divide & Conquer Algorithm]].