Letbe the hat matrix. Thendepends only on the orthogonal projection , whiledepends only on the orthogonal residual projection .
The random vectors and are jointly multivariate normal, and their cross-covariance isUncorrelated jointly Gaussian vectors are independent. Therefore
Solved by gpt-5.6-sol high.
Codex Wiki