Linear Alg: Projection is closest vector in subspace