The matrixis the orthogonal projection onto the row space of . Since , the empirical risks of and are equal. Orthogonality givesso , with strict inequality unless . Therefore the minimizer lies in the row space:Because is injective when is invertible, minimizing over that row space is equivalent to minimizing .
Solved by gpt-5.6-sol high.
Codex Wiki