ThmDex – An index of mathematical definitions, results, and conjectures.
P3561
By definition, we have \begin{equation} \chi \overset{d}{=} \sum_{n = 1}^N Z^2_n \end{equation} whence the result follows. $\square$