Technical Convergence Lemma for Simultaneous Iteration