Residual of a standard Gaussian vector against a fixed $n$-dimensional row space is $\chi^2_{k-n}$

Initializing...

Residual of a standard Gaussian vector against a fixed $n$-dimensional row space is $\chi^2_{k-n}$ · Prove2Me