Cochran's theorem

Orthogonal projections of an isotropic Gaussian vector are independent. If $P$ is an orthogonal projection of rank $r$ and $Z\sim N(0,I)$, then