Orthogonal Projection Gives the Finite Least-Squares Approximation