Theorem

Let $\mathbf{X}=(X_{1},\dots,X_{k})^{T}$ be a random vector having finite variance. Then the $k\times k$ autocorrelation matrix $\mathbf{R_{X}}=\{ E[X_{i}X_{j}] \}$ is symmetric and positive semidefinite.