Best Approximation Theorem for Orthogonal Projections