Orthogonally Invariant Sequences as Gaussian Scale Mixtures: An Alternate Proof

Using a factorization of a standard Gaussian matrix, we show that a sequence of random variables, the finite sections of which are orthogonally invariant in distribution, must be a scale mixture of independent standard Gaussian variables.