Lecture 11: Proof of Convergence of Nested Decomposition