Orthogonal projection of a Gaussian vector (source code)

= Orthogonal projection of a Gaussian vector
{wiki}

Orthogonal projections of an isotropic Gaussian vector onto orthogonal subspaces are independent.