Since
\begin{equation}
\frac{X_n - \mu}{\sigma}
\sim \text{Gaussian}(0, 1)
\end{equation}
then this result is a special case of
R5229: Bessel-corrected sample variance of independent standard gaussians is a transformed chi-squared random real number. $\square$
