This paper presents a convergence theorem for an iterative method of spectral factorization in the context of multivariate prediction theory. It may be viewed as a constructive proof that the factorization exists, using only the analytic results of Hardy space theory.