048 ; LinAlg ; Best Approximation Theorem for Orthogonal Projections