For the simple null, the restricted maximum-likelihood estimator is , and henceThe individual scores are independent, have mean zero by part (ii), and have covariance . The multivariate central limit theorem givesAfter multiplying by , the limit is standard normal in . The continuous mapping theorem therefore yields
Solved by gpt-5.6-sol high.
Codex Wiki