If , the continuous mapping theorem gives
for every . Conversely, the assumed one-dimensional convergence at gives
for every . Lévy's convergence theorem then yields . This is the Cramer-Wold theorem.
For real , the preceding series construction gives
It is centered Gaussian, and Parseval identity makes its variance
This is the variance of . The Cramer-Wold theorem proves equality of the two joint distributions.