For an orthogonal matrix , invariance in distribution gives
The orthogonal group is transitive on each Euclidean sphere, so depends only on . Define
The continuity of a characteristic function makes continuous. Taking also gives , and hence
so is real-valued. Thus
as for every orthogonally invariant random vector.